Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Thu, 27 Nov 2014 19:12:44 +0900 | Yasutaka Higa | Change headDelta definition. return non-delta value |
Thu, 27 Nov 2014 14:46:39 +0900 | Yasutaka Higa | Trying prove monad-law-1 by another pattern .... |
Wed, 26 Nov 2014 19:20:31 +0900 | Yasutaka Higa | Trying prove monad-law-1 by another pattern ... |
Wed, 26 Nov 2014 18:20:21 +0900 | Yasutaka Higa | Trying prove monad-law-1 by another pattern ... |
Wed, 26 Nov 2014 17:11:33 +0900 | Yasutaka Higa | Trying prove monad-law-1 by another pattern |
Wed, 26 Nov 2014 16:17:53 +0900 | Yasutaka Higa | Trying prove monad-law-1 ... |
Tue, 25 Nov 2014 17:33:06 +0900 | Yasutaka Higa | proving monad-law-1 ... |