log fig/monad_laws.xbb @ 39:8a70394e45b4

age author description
2015-02-12 Yasutaka Higa Add record of functor in agda
2015-02-09 Yasutaka Higa Add natural transformation in program
2015-02-08 Yasutaka Higa Add description for category/functor in program
2015-02-08 Yasutaka Higa Add description Monad