Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
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 |
Mon, 06 Jan 2014 17:18:13 +0900 | Shinji KONO | on going... |
Mon, 06 Jan 2014 00:46:48 +0900 | Shinji KONO | ??? |