Mercurial > hg > Members > atton > delta_monad
log agda/deltaM/functor.agda @ 92:4d615910c87a
age | author | description |
---|---|---|
Mon, 19 Jan 2015 14:32:07 +0900 | Yasutaka Higa | Prove preserve-id for deltaM |
Mon, 19 Jan 2015 12:29:29 +0900 | Yasutaka Higa | Prove deltaM-preserve-id by mono |