Mercurial > hg > Members > kono > Proof > category
log kleisli.agda @ 616:7011165c118e
age | author | description |
---|---|---|
2017-03-06 | Shinji KONO | clean up |
2017-03-05 | Shinji KONO | clean up |
2013-09-29 | Shinji KONO | arrow and lambda fix |
2013-09-11 | Shinji KONO | fix |
2013-08-17 | Shinji KONO | sync |
2013-08-17 | Shinji KONO | fix base nat.agda@8a994cc36c9d |