Mercurial > hg > Members > atton > delta_monad
log agda/delta/monad.agda @ 88:526186c4f298
age | author | description |
---|---|---|
Mon, 19 Jan 2015 11:10:58 +0900 | Yasutaka Higa | Split monad-proofs into delta.monad |
age | author | description |
---|---|---|
Mon, 19 Jan 2015 11:10:58 +0900 | Yasutaka Higa | Split monad-proofs into delta.monad |