Mercurial > hg > Members > atton > delta_monad
graph
-
Refactor DeltaM definitionMon, 02 Feb 2015 12:07:51 +0900, by Yasutaka Higa
-
ReDefine DeltaM-mu in HaskellMon, 02 Feb 2015 12:01:32 +0900, by Yasutaka Higa
-
Prove association-law for DeltaMMon, 02 Feb 2015 11:54:23 +0900, by Yasutaka Higa
-
Temporary commit : Proving association-law ....Mon, 02 Feb 2015 09:57:37 +0900, by Yasutaka Higa