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 137: (0) -100 -14 +14 +100 +300 tip
age author description
Tue, 13 Aug 2013 11:42:09 +0900 Shinji KONO dead end?
Tue, 13 Aug 2013 10:57:41 +0900 Shinji KONO on ogoing...
Sun, 11 Aug 2013 16:56:17 +0900 Shinji KONO on going...
Sun, 11 Aug 2013 16:35:15 +0900 Shinji KONO M x A done
Sun, 11 Aug 2013 16:11:55 +0900 Shinji KONO hom composition passed.
Sun, 11 Aug 2013 15:54:09 +0900 Shinji KONO trying..
Sun, 11 Aug 2013 15:52:09 +0900 Shinji KONO trying..
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 137: (0) -100 -14 +14 +100 +300 tip