Mercurial > hg > Members > atton > similar_monad
graph
-
Add Haskell style Monad-laws and Proof Monad-laws-h-1Sun, 19 Oct 2014 16:17:46 +0900, by Yasutaka Higa
-
Add CommentsSun, 19 Oct 2014 16:00:52 +0900, by Yasutaka Higa
-
Proof Functor-lawsSun, 19 Oct 2014 15:53:55 +0900, by Yasutaka Higa