Mercurial > hg > Members > kono > Proof > category
graph
-
on going...Sun, 11 Aug 2013 16:56:17 +0900, by Shinji KONO
-
M x A doneSun, 11 Aug 2013 16:35:15 +0900, by Shinji KONO
-
hom composition passed.Sun, 11 Aug 2013 16:11:55 +0900, by Shinji KONO
-
trying..Sun, 11 Aug 2013 15:54:09 +0900, by Shinji KONO
-
trying..Sun, 11 Aug 2013 15:52:09 +0900, by Shinji KONO
-
remove Kleisli recordThu, 08 Aug 2013 22:05:41 +0900, by Shinji KONO
-
monoid monadSat, 03 Aug 2013 10:12:00 +0900, by Shinji KONO
-
Comparison Functor all done.Fri, 02 Aug 2013 17:01:14 +0900, by Shinji KONO