log

age author description
Thu, 20 Mar 2014 06:25:38 +0700 Shinji KONO fact error on R
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
Mon, 06 Jan 2014 17:18:13 +0900 Shinji KONO on going...
Mon, 06 Jan 2014 00:46:48 +0900 Shinji KONO ???
Sun, 05 Jan 2014 23:37:12 +0900 Shinji KONO is this right direction?