Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
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) |