Mercurial > hg > Members > atton > delta_monad
graph
-
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
-
Change prove method. use Int ...Thu, 27 Nov 2014 23:16:55 +0900, by Yasutaka Higa
-
Change prove method. use Int ...Thu, 27 Nov 2014 22:44:57 +0900, by Yasutaka Higa
-
Change headDelta definition. return non-delta valueThu, 27 Nov 2014 19:12:44 +0900, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern ....Thu, 27 Nov 2014 14:46:39 +0900, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern ...Wed, 26 Nov 2014 19:20:31 +0900, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern ...Wed, 26 Nov 2014 18:20:21 +0900, by Yasutaka Higa
-
Trying prove monad-law-1 by another patternWed, 26 Nov 2014 17:11:33 +0900, by Yasutaka Higa
-
Trying prove monad-law-1 ...Wed, 26 Nov 2014 16:17:53 +0900, by Yasutaka Higa
-
proving monad-law-1 ...Tue, 25 Nov 2014 17:33:06 +0900, by Yasutaka Higa
-
Trying prove infinite delta by equiv-reasoningTue, 25 Nov 2014 12:34:09 +0900, by Yasutaka Higa