Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Fri, 26 Jul 2013 19:52:19 +0900 | Shinji KONO | Comparison Functor |
| Fri, 26 Jul 2013 16:18:32 +0900 | Shinji KONO | Kleisli Category constructed |
| Fri, 26 Jul 2013 15:52:24 +0900 | Shinji KONO | on going |
| Fri, 26 Jul 2013 12:38:54 +0900 | Shinji KONO | stack overflow solved by moving implicit parameters to module parameters |
| Fri, 26 Jul 2013 11:42:57 +0900 | Shinji KONO | Kleisli category problem written |
| Fri, 26 Jul 2013 06:39:24 +0900 | Shinji KONO | Kleisli Category ... |
| Thu, 25 Jul 2013 14:46:02 +0900 | Shinji KONO | generalized distr and assco1 |