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 63: (0) -30 -10 -7 +7 +10 +30 tip
age author description
Tue, 25 Nov 2014 17:33:06 +0900 Yasutaka Higa proving monad-law-1 ...
Tue, 25 Nov 2014 12:34:09 +0900 Yasutaka Higa Trying prove infinite delta by equiv-reasoning
Mon, 24 Nov 2014 11:28:55 +0900 Yasutaka Higa Add patterns generator
Sat, 22 Nov 2014 18:31:33 +0900 Yasutaka Higa Expand pattern-matches...
Sat, 22 Nov 2014 16:03:40 +0900 Yasutaka Higa Define bind and mu for Infinite Delta
Sat, 22 Nov 2014 12:34:06 +0900 Yasutaka Higa Mini fixes
Sat, 22 Nov 2014 12:29:32 +0900 Yasutaka Higa ReDefine Delta used non-empty-list for infinite changes
less more | rev 63: (0) -30 -10 -7 +7 +10 +30 tip