Mercurial > hg > Papers > 2015 > atton-thesis
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 |