Mercurial > hg > Members > kono > Proof > category

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 130: (0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip
age author description
Thu, 08 Aug 2013 22:05:41 +0900 Shinji KONO remove Kleisli record
Sat, 03 Aug 2013 10:12:00 +0900 Shinji KONO monoid monad
Fri, 02 Aug 2013 17:01:14 +0900 Shinji KONO Comparison Functor all done.
Fri, 02 Aug 2013 10:06:15 +0900 Shinji KONO Comparison Functor for Eilenberg-Moore Category is constructed.
Fri, 02 Aug 2013 09:59:38 +0900 Shinji KONO Algebra
Fri, 02 Aug 2013 09:52:59 +0900 Shinji KONO on going (horizontal composition)
Fri, 02 Aug 2013 08:50:22 +0900 Shinji KONO on going
less more | rev 130: (0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip