Mercurial > hg > Members > atton > agda > systemF

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 20: (0) tip
age author description
Thu, 10 Apr 2014 14:29:37 +0900 Yasutaka Higa Define List
Thu, 10 Apr 2014 13:25:48 +0900 Yasutaka Higa Add comments
Thu, 10 Apr 2014 13:21:13 +0900 Yasutaka Higa lemma-R
Thu, 10 Apr 2014 11:34:43 +0900 Yasutaka Higa Define R
Thu, 10 Apr 2014 11:30:37 +0900 Yasutaka Higa Add comment to g
Tue, 08 Apr 2014 17:18:00 +0900 Yasutaka Higa Add lemma for Product
Tue, 08 Apr 2014 16:42:52 +0900 Yasutaka Higa Delete definition global Level
Tue, 08 Apr 2014 16:31:08 +0900 Yasutaka Higa Add lemma-it of Int, but has yellow
Tue, 08 Apr 2014 15:29:46 +0900 Yasutaka Higa Delete multiple levels on Product
Tue, 08 Apr 2014 13:34:26 +0900 Yasutaka Higa Add comment
Tue, 08 Apr 2014 13:31:25 +0900 Yasutaka Higa g of Int
Tue, 08 Apr 2014 12:36:49 +0900 Yasutaka Higa Trying g of Int. but not completed
Mon, 07 Apr 2014 11:06:28 +0900 Yasutaka Higa Int It
Tue, 01 Apr 2014 15:31:29 +0900 Yasutaka Higa Add comments
Tue, 01 Apr 2014 15:24:12 +0900 Yasutaka Higa Wrote lemmna-nabla
Tue, 01 Apr 2014 15:03:58 +0900 Yasutaka Higa Rewrite Existential by data constructor
Tue, 25 Mar 2014 17:20:45 +0900 Yasutaka Higa Rewrote Existential Sigma and < , >. but has yellow
Mon, 24 Mar 2014 20:12:59 +0900 Yasutaka Higa Wrote Sigma in Existional
Thu, 20 Mar 2014 17:30:00 +0900 Yasutaka Higa wrote Sum Type
Thu, 20 Mar 2014 14:50:35 +0900 Yasutaka Higa Ignore agdai file and ~ file
Thu, 20 Mar 2014 14:49:33 +0900 Yasutaka Higa Bool and Product in System F
less more | rev 20: (0) tip