Mercurial > hg > Members > atton > delta_monad
graph
-
Delete RevisionTue, 27 Jan 2015 17:49:53 +0900, by Yasutaka Higa
-
Retrying prove monad-laws for deltaTue, 27 Jan 2015 17:49:25 +0900, by Yasutaka Higa
-
Trying redenition Delta with length constraintsMon, 26 Jan 2015 23:00:05 +0900, by Yasutaka Higa
-
Delte type dependencie in Monad record for escape implicit type conflictMon, 26 Jan 2015 14:08:46 +0900, by Yasutaka Higa
-
Trying right-unity-law on DeltaM. but do not fit implicit type in eta...Sun, 25 Jan 2015 12:16:34 +0900, by Yasutaka Higa
-
Fix bind definition on DeltaM. use mu.Sun, 25 Jan 2015 12:15:19 +0900, by Yasutaka Higa
-
Redefine some functions DeltaM in agdaFri, 23 Jan 2015 17:44:53 +0900, by Yasutaka Higa
-
Change monad definition on DeltaM. use mu.Fri, 23 Jan 2015 17:05:08 +0900, by Yasutaka Higa