Mercurial > hg > Members > atton > delta_monad

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 76: (0) -30 -10 -8 +8 +10 +30 tip
age author description
Mon, 01 Dec 2014 11:47:52 +0900 Yasutaka Higa Refactors
Mon, 01 Dec 2014 11:42:32 +0900 Yasutaka Higa Prove n-tail-add
Sun, 30 Nov 2014 23:05:42 +0900 Yasutaka Higa Prove monad-law-1
Sun, 30 Nov 2014 22:26:50 +0900 Yasutaka Higa Proving monad-law-1
Sun, 30 Nov 2014 19:00:32 +0900 Yasutaka Higa Trying prove infinite-delta. but I think this definition was missed.
Thu, 27 Nov 2014 23:16:55 +0900 Yasutaka Higa Change prove method. use Int ...
Thu, 27 Nov 2014 22:44:57 +0900 Yasutaka Higa Change prove method. use Int ...
Thu, 27 Nov 2014 19:12:44 +0900 Yasutaka Higa Change headDelta definition. return non-delta value
less more | rev 76: (0) -30 -10 -8 +8 +10 +30 tip