Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Sat, 22 Nov 2014 12:29:32 +0900 | Yasutaka Higa | ReDefine Delta used non-empty-list for infinite changes |
Wed, 19 Nov 2014 21:09:45 +0900 | Yasutaka Higa | Trying redefine monad-laws-1 |