Mercurial > hg > Members > atton > delta_monad
graph
-
Prove monad-law-4Mon, 01 Dec 2014 17:25:59 +0900, by Yasutaka Higa
-
Prove monad-law-2, 3Mon, 01 Dec 2014 12:23:26 +0900, by Yasutaka Higa
-
Split nat definitionMon, 01 Dec 2014 11:58:35 +0900, by Yasutaka Higa
-
RefactorsMon, 01 Dec 2014 11:47:52 +0900, by Yasutaka Higa
-
Prove n-tail-addMon, 01 Dec 2014 11:42:32 +0900, by Yasutaka Higa
-
Prove monad-law-1Sun, 30 Nov 2014 23:05:42 +0900, by Yasutaka Higa
-
Proving monad-law-1Sun, 30 Nov 2014 22:26:50 +0900, by Yasutaka Higa
-
Trying prove infinite-delta. but I think this definition was missed.Sun, 30 Nov 2014 19:00:32 +0900, by Yasutaka Higa