Mercurial > hg > Members > atton > delta_monad
log agda/deltaM/functor.agda @ 91:f41682b53992
age | author | description |
---|---|---|
Mon, 19 Jan 2015 12:29:29 +0900 | Yasutaka Higa | Prove deltaM-preserve-id by mono |
age | author | description |
---|---|---|
Mon, 19 Jan 2015 12:29:29 +0900 | Yasutaka Higa | Prove deltaM-preserve-id by mono |