Mercurial > hg > Members > atton > delta_monad
graph
-
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