Mercurial > hg > Members > atton > delta_monad
log agda/delta/functor.agda @ 87:6789c65a75bc
age | author | description |
---|---|---|
Mon, 19 Jan 2015 11:00:34 +0900 | Yasutaka Higa | Split functor-proofs into delta.functor |
age | author | description |
---|---|---|
Mon, 19 Jan 2015 11:00:34 +0900 | Yasutaka Higa | Split functor-proofs into delta.functor |