Mercurial > hg > Members > atton > delta_monad
log agda/delta/functor.agda @ 146:57601209eff3 default tip
age | author | description |
---|---|---|
Tue, 03 Feb 2015 12:57:13 +0900 | Yasutaka Higa | Cleanup proofs InfiniteDeltaWithMonad |
Tue, 03 Feb 2015 11:45:33 +0900 | Yasutaka Higa | Prove mu-is-nt for DeltaM with fmap-equiv |
Fri, 30 Jan 2015 21:59:06 +0900 | Yasutaka Higa | Delte trying code |