Members/kono/Proof/category: revision graph

graph

less more | rev 321: (0) -300 -100 -14 +14 +100 +300 tip

Emp with yellow
Wed, 19 Mar 2014 16:51:35 +0700, by Shinji KONO
fix Emp
Mon, 17 Mar 2014 21:29:45 +0700, by Shinji KONO
Emp in System F
Mon, 17 Mar 2014 20:10:37 +0700, by Shinji KONO
fx
Sun, 16 Mar 2014 21:48:15 +0700, by Shinji KONO
iota
Sun, 16 Mar 2014 21:33:25 +0700, by Shinji KONO
Emp and Sum first try
Sun, 16 Mar 2014 17:51:55 +0700, by Shinji KONO
System T and System F
Sat, 15 Mar 2014 10:15:54 +0900, by Shinji KONO
on going...
Mon, 06 Jan 2014 17:18:13 +0900, by Shinji KONO
???
Mon, 06 Jan 2014 00:46:48 +0900, by Shinji KONO
is this right direction?
Sun, 05 Jan 2014 23:37:12 +0900, by Shinji KONO
on going...
Sun, 05 Jan 2014 19:34:11 +0900, by Shinji KONO
on going...
Sun, 05 Jan 2014 19:29:52 +0900, by Shinji KONO
preinitial problem written
Sun, 05 Jan 2014 19:16:18 +0900, by Shinji KONO
pre-initial
Sun, 05 Jan 2014 19:02:29 +0900, by Shinji KONO

less more | rev 321: (0) -300 -100 -14 +14 +100 +300 tip