Mercurial > hg > Members > atton > delta_monad
graph
-
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
-
Add patterns generatorMon, 24 Nov 2014 11:28:55 +0900, by Yasutaka Higa
-
Expand pattern-matches...Sat, 22 Nov 2014 18:31:33 +0900, by Yasutaka Higa