Mercurial > hg > Members > atton > agda > systemF
graph
-
wrote Sum TypeThu, 20 Mar 2014 17:30:00 +0900, by Yasutaka Higa
-
Ignore agdai file and ~ fileThu, 20 Mar 2014 14:50:35 +0900, by Yasutaka Higa
-
Bool and Product in System FThu, 20 Mar 2014 14:49:33 +0900, by Yasutaka Higa