Mercurial > hg > Members > atton > delta_monad
graph
-
Rewrite monad definitions for delta/deltaMMon, 19 Jan 2015 17:10:29 +0900, by Yasutaka Higa
-
Prove functor-laws for deltaMMon, 19 Jan 2015 15:21:29 +0900, by Yasutaka Higa
-
Prove preserve-id for deltaMMon, 19 Jan 2015 14:32:07 +0900, by Yasutaka Higa
-
Prove deltaM-preserve-id by monoMon, 19 Jan 2015 12:29:29 +0900, by Yasutaka Higa
-
Unify levels on data type. only use suc to proofsMon, 19 Jan 2015 12:11:38 +0900, by Yasutaka Higa
-
Defining DeltaM in Agda...Mon, 19 Jan 2015 11:48:41 +0900, by Yasutaka Higa
-
Split monad-proofs into delta.monadMon, 19 Jan 2015 11:10:58 +0900, by Yasutaka Higa
-
Split functor-proofs into delta.functorMon, 19 Jan 2015 11:00:34 +0900, by Yasutaka Higa