Mercurial > hg > Members > atton > delta_monad

log agda/patterns.rb @ 87:6789c65a75bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 27 Nov 2014 14:46:39 +0900 Yasutaka Higa Trying prove monad-law-1 by another pattern ....
Mon, 24 Nov 2014 11:28:55 +0900 Yasutaka Higa Add patterns generator
less more | (0) tip