Mercurial > hg > Members > atton > delta_monad
graph
-
Prove association-law for DeltaM by (S O) pattern with definition changesSun, 01 Feb 2015 17:55:39 +0900, by Yasutaka Higa
-
Temporary commit : Proving association-law ...Sun, 01 Feb 2015 17:06:55 +0900, by Yasutaka Higa
-
Prove natural transformation for deltaM-etaFri, 30 Jan 2015 22:17:46 +0900, by Yasutaka Higa
-
Delte trying codeFri, 30 Jan 2015 21:59:06 +0900, by Yasutaka Higa
-
Prove left-unity-law for DeltaMFri, 30 Jan 2015 21:57:31 +0900, by Yasutaka Higa
-
Prove right-unity-law on DeltaMThu, 29 Jan 2015 11:42:22 +0900, by Yasutaka Higa
-
Rewrite Functor-laws for DeltaMWed, 28 Jan 2015 22:36:34 +0900, by Yasutaka Higa
-
Redefine DeltaM that length fixedWed, 28 Jan 2015 22:32:26 +0900, by Yasutaka Higa