Mercurial > hg > Papers > 2015 > atton-thesis
log fig/monad_laws.xbb @ 23:61e5659e04a9
age | author | description |
---|---|---|
Mon, 09 Feb 2015 09:47:09 +0900 | Yasutaka Higa | Add natural transformation in program |
Sun, 08 Feb 2015 21:19:55 +0900 | Yasutaka Higa | Add description for category/functor in program |
Sun, 08 Feb 2015 19:57:44 +0900 | Yasutaka Higa | Add description Monad |