Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
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 |
Thu, 25 Jul 2013 13:56:16 +0900 | Shinji KONO | join implicit parameter |
Thu, 25 Jul 2013 13:08:49 +0900 | Shinji KONO | cong-hom ? |
Thu, 25 Jul 2013 12:58:21 +0900 | Shinji KONO | distr |