Mercurial > hg > Members > kono > Proof > category
log adj-monad.agda @ 662:e1d54c0f73a7
age | author | description |
---|---|---|
2013-08-08 | Shinji KONO | remove Kleisli record |
2013-07-26 | Shinji KONO | stack overflow solved by moving implicit parameters to module parameters |