Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Wed, 26 Nov 2014 17:11:33 +0900 | Yasutaka Higa | Trying prove monad-law-1 by another pattern |
age | author | description |
---|---|---|
Wed, 26 Nov 2014 17:11:33 +0900 | Yasutaka Higa | Trying prove monad-law-1 by another pattern |