Mercurial > hg > Members > atton > delta_monad
log agda/deltaM/functor.agda @ 110:cd058dd89864
age | author | description |
---|---|---|
Wed, 28 Jan 2015 22:36:34 +0900 | Yasutaka Higa | Rewrite Functor-laws for DeltaM |
Mon, 26 Jan 2015 23:00:05 +0900 | Yasutaka Higa | Trying redenition Delta with length constraints |
Mon, 26 Jan 2015 14:08:46 +0900 | Yasutaka Higa | Delte type dependencie in Monad record for escape implicit type conflict |
Mon, 19 Jan 2015 15:21:29 +0900 | Yasutaka Higa | Prove functor-laws for deltaM |
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 |