Mercurial > hg > Members > atton > delta_monad
graph
-
Fix proof functor for DeltaMMon, 02 Feb 2015 12:17:50 +0900, by Yasutaka Higa
-
Fix Monad-proof for DeltaMon, 02 Feb 2015 12:12:14 +0900, by Yasutaka Higa
-
Refactor monad definitionMon, 02 Feb 2015 12:11:24 +0900, by Yasutaka Higa
-
Refactor DeltaM definitionMon, 02 Feb 2015 12:07:51 +0900, by Yasutaka Higa