Mercurial > hg > Members > atton > delta_monad
graph
-
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
-
Adjust function nameWed, 19 Nov 2014 13:35:58 +0900, by Yasutaka Higa
-
Define Delta for Infinite changes in HaskellWed, 19 Nov 2014 13:33:37 +0900, by Yasutaka Higa