Mercurial > hg > Members > atton > delta_monad
graph

Added tag InfiniteDelta for changeset fc5cd8c50312Sun, 04 Jan 2015 16:30:17 +0900, by Yasutaka Higa

Prove monadlaw4Mon, 01 Dec 2014 17:25:59 +0900, by Yasutaka Higa

Prove monadlaw2, 3Mon, 01 Dec 2014 12:23:26 +0900, by Yasutaka Higa

Split nat definitionMon, 01 Dec 2014 11:58:35 +0900, by Yasutaka Higa

RefactorsMon, 01 Dec 2014 11:47:52 +0900, by Yasutaka Higa

Prove ntailaddMon, 01 Dec 2014 11:42:32 +0900, by Yasutaka Higa

Prove monadlaw1Sun, 30 Nov 2014 23:05:42 +0900, by Yasutaka Higa

Proving monadlaw1Sun, 30 Nov 2014 22:26:50 +0900, by Yasutaka Higa

Trying prove infinitedelta. but I think this definition was missed.Sun, 30 Nov 2014 19:00:32 +0900, by Yasutaka Higa

Change prove method. use Int ...Thu, 27 Nov 2014 23:16:55 +0900, by Yasutaka Higa

Change prove method. use Int ...Thu, 27 Nov 2014 22:44:57 +0900, by Yasutaka Higa

Change headDelta definition. return nondelta valueThu, 27 Nov 2014 19:12:44 +0900, by Yasutaka Higa

Trying prove monadlaw1 by another pattern ....Thu, 27 Nov 2014 14:46:39 +0900, by Yasutaka Higa

Trying prove monadlaw1 by another pattern ...Wed, 26 Nov 2014 19:20:31 +0900, by Yasutaka Higa

Trying prove monadlaw1 by another pattern ...Wed, 26 Nov 2014 18:20:21 +0900, by Yasutaka Higa

Trying prove monadlaw1 by another patternWed, 26 Nov 2014 17:11:33 +0900, by Yasutaka Higa

Trying prove monadlaw1 ...Wed, 26 Nov 2014 16:17:53 +0900, by Yasutaka Higa

proving monadlaw1 ...Tue, 25 Nov 2014 17:33:06 +0900, by Yasutaka Higa

Trying prove infinite delta by equivreasoningTue, 25 Nov 2014 12:34:09 +0900, by Yasutaka Higa

Add patterns generatorMon, 24 Nov 2014 11:28:55 +0900, by Yasutaka Higa

Expand patternmatches...Sat, 22 Nov 2014 18:31:33 +0900, by Yasutaka Higa

Define bind and mu for Infinite DeltaSat, 22 Nov 2014 16:03:40 +0900, by Yasutaka Higa

Mini fixesSat, 22 Nov 2014 12:34:06 +0900, by Yasutaka Higa

ReDefine Delta used nonemptylist for infinite changesSat, 22 Nov 2014 12:29:32 +0900, by Yasutaka Higa

Trying redefine monadlaws1Wed, 19 Nov 2014 21:09:45 +0900, by Yasutaka Higa

Redefine Delta for infinite changes in AgdaWed, 19 Nov 2014 20:18:26 +0900, by Yasutaka Higa

Trying redefine delta for infinite changesWed, 19 Nov 2014 14:01:17 +0900, by Yasutaka Higa

Adjust function nameWed, 19 Nov 2014 13:35:58 +0900, by Yasutaka Higa

Define Delta for Infinite changes in HaskellWed, 19 Nov 2014 13:33:37 +0900, by Yasutaka Higa