graph

  • fix
    Fri, 26 Jun 2015 19:18:57 +0900, by Shinji KONO
  • arrow
    Fri, 26 Jun 2015 19:03:54 +0900, by Shinji KONO
  • nat equalit
    Fri, 26 Jun 2015 17:56:22 +0900, by Shinji KONO
  • fix
    Wed, 13 May 2015 13:28:16 +0900, by Shinji KONO
  • fix
    Tue, 12 May 2015 11:17:38 +0900, by Shinji KONO
  • history to continuation
    Mon, 11 May 2015 16:59:33 +0900, by Shinji KONO
  • add DataCategory Universal mapping
    Mon, 11 May 2015 11:16:24 +0900, by Shinji KONO
  • fix
    Thu, 02 Apr 2015 22:49:13 +0900, by Shinji KONO
  • list representation of TwoCat Hom
    Wed, 01 Apr 2015 17:37:04 +0900, by Shinji KONO
  • bad approach
    Wed, 24 Dec 2014 22:16:20 +0900, by Shinji KONO
  • ...
    Wed, 24 Dec 2014 12:50:52 +0900, by Shinji KONO
  • try equalizer from limit
    Wed, 24 Dec 2014 12:00:16 +0900, by Shinji KONO
  • fix
    Sun, 04 May 2014 11:01:36 +0900, by Shinji KONO
  • fix
    Sat, 03 May 2014 11:46:05 +0900, by Shinji KONO
  • list try ..
    Tue, 22 Apr 2014 23:31:19 +0900, by Shinji KONO