Mercurial > hg > Members > kono > Proof > category
log system-f.agda @ 322:477d5284d753
age | author | description |
---|---|---|
Wed, 19 Mar 2014 19:05:13 +0700 | Shinji KONO | Int |
Wed, 19 Mar 2014 16:51:35 +0700 | Shinji KONO | Emp with yellow |
Mon, 17 Mar 2014 21:29:45 +0700 | Shinji KONO | fix Emp |
Mon, 17 Mar 2014 20:10:37 +0700 | Shinji KONO | Emp in System F |
Sun, 16 Mar 2014 21:48:15 +0700 | Shinji KONO | fx |
Sun, 16 Mar 2014 21:33:25 +0700 | Shinji KONO | iota |
Sun, 16 Mar 2014 17:51:55 +0700 | Shinji KONO | Emp and Sum first try |
Sat, 15 Mar 2014 10:15:54 +0900 | Shinji KONO | System T and System F |