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