Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Wed, 28 Jan 2015 22:26:01 +0900 | Yasutaka Higa | Delete comment outed temporary code |
Wed, 28 Jan 2015 22:21:27 +0900 | Yasutaka Higa | Prove monad-laws for length fixed infinite Delta |
Tue, 27 Jan 2015 17:49:53 +0900 | Yasutaka Higa | Delete Revision |