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