Mercurial > hg > Members > atton > delta_monad
graph
-
Expand pattern-matches...Sat, 22 Nov 2014 18:31:33 +0900, by Yasutaka Higa
-
Define bind and mu for Infinite DeltaSat, 22 Nov 2014 16:03:40 +0900, by Yasutaka Higa
-
Mini fixesSat, 22 Nov 2014 12:34:06 +0900, by Yasutaka Higa
-
ReDefine Delta used non-empty-list for infinite changesSat, 22 Nov 2014 12:29:32 +0900, by Yasutaka Higa
-
Trying redefine monad-laws-1Wed, 19 Nov 2014 21:09:45 +0900, by Yasutaka Higa
-
Redefine Delta for infinite changes in AgdaWed, 19 Nov 2014 20:18:26 +0900, by Yasutaka Higa
-
Trying redefine delta for infinite changesWed, 19 Nov 2014 14:01:17 +0900, by Yasutaka Higa