Mercurial > hg > Members > kono > Proof > category
log list-nat.agda @ 312:702adc45704f
age | author | description |
---|---|---|
2013-09-29 | Shinji KONO | arrow and lambda fix |
2013-08-17 | Shinji KONO | sync |
2013-08-08 | Shinji KONO | remove Kleisli record |
2013-07-13 | Shinji KONO | fix |
2013-07-12 | Shinji KONO | clean up list-nat |
2013-07-12 | Shinji KONO | nat |
2013-07-12 | Shinji KONO | reasoning worked. |
2013-07-11 | Shinji KONO | not working yet |
2013-07-09 | Shinji KONO | sss |
2013-07-09 | Shinji KONO | list nat |