Mercurial > hg > Members > atton > delta_monad
log agda/deltaM.agda @ 101:29c54b0197fb
age | author | description |
---|---|---|
Sun, 25 Jan 2015 12:15:19 +0900 | Yasutaka Higa | Fix bind definition on DeltaM. use mu. |
Fri, 23 Jan 2015 17:44:53 +0900 | Yasutaka Higa | Redefine some functions DeltaM in agda |
Mon, 19 Jan 2015 17:47:55 +0900 | Yasutaka Higa | Fix implicit values in deltaM-mu |
Mon, 19 Jan 2015 17:10:29 +0900 | Yasutaka Higa | Rewrite monad definitions for delta/deltaM |
Mon, 19 Jan 2015 12:11:38 +0900 | Yasutaka Higa | Unify levels on data type. only use suc to proofs |
Mon, 19 Jan 2015 11:48:41 +0900 | Yasutaka Higa | Defining DeltaM in Agda... |