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