log

age author description
Wed, 08 Feb 2017 13:50:52 +0900 atton Add chapter akasha
Mon, 06 Feb 2017 20:23:42 +0900 atton First review
Mon, 06 Feb 2017 16:13:14 +0900 atton Add references
Mon, 06 Feb 2017 15:42:45 +0900 atton Add abstract
Mon, 06 Feb 2017 10:32:49 +0900 atton Add sources
Mon, 06 Feb 2017 10:15:16 +0900 atton Add sample source
Sun, 05 Feb 2017 16:53:16 +0900 atton Add summary
Sat, 04 Feb 2017 16:34:14 +0900 atton Update pdf
Sat, 04 Feb 2017 16:19:41 +0900 atton Update TODO
Sat, 04 Feb 2017 16:19:23 +0900 atton Add proof description
Sat, 04 Feb 2017 12:23:25 +0900 atton Add push/pop description
Fri, 03 Feb 2017 16:34:30 +0900 atton Add single linked stack
Fri, 03 Feb 2017 14:49:58 +0900 atton Mini fixes with ryokka-san
Fri, 03 Feb 2017 11:59:41 +0900 atton Add example of meta code segment execution
Fri, 03 Feb 2017 10:29:28 +0900 atton Add Meta CodeSegment description
Fri, 03 Feb 2017 10:23:26 +0900 atton Add Meta DataSegment description
Wed, 01 Feb 2017 15:37:11 +0900 atton Add normal level goto
Wed, 01 Feb 2017 15:27:15 +0900 atton Mini fixes
Wed, 01 Feb 2017 14:52:01 +0900 atton Writing cs/ds in agda
Wed, 01 Feb 2017 13:27:58 +0900 atton Split cbc-type.tex
Tue, 31 Jan 2017 19:26:31 +0900 atton Add pdf
Tue, 31 Jan 2017 17:30:07 +0900 atton Add reasoning
Tue, 31 Jan 2017 17:20:50 +0900 atton Writing agda description ......
Tue, 31 Jan 2017 17:20:04 +0900 atton Writing agda description ...
Tue, 31 Jan 2017 16:41:36 +0900 atton Writing agda description
Tue, 31 Jan 2017 11:57:12 +0900 atton Writing Agda description
Tue, 31 Jan 2017 10:30:08 +0900 atton Add natural deduction and curry-howard isomorphism
Mon, 30 Jan 2017 16:59:53 +0900 atton Add agda.tex
Mon, 30 Jan 2017 16:41:56 +0900 atton Wrote type.tex
Mon, 30 Jan 2017 14:54:01 +0900 atton Mini fixes
Mon, 30 Jan 2017 14:25:14 +0900 atton Wrote subtype
Sun, 29 Jan 2017 22:13:47 +0900 atton Writing subtype
Sun, 29 Jan 2017 21:58:35 +0900 atton Add record
Sun, 29 Jan 2017 12:27:25 +0900 atton Wrote typed-lambda
Sun, 29 Jan 2017 11:56:00 +0900 atton Writing typed-lambda
Sat, 28 Jan 2017 18:29:15 +0900 atton Wrote simple-type
Sat, 28 Jan 2017 17:10:51 +0900 atton Writing typed expression
Sat, 28 Jan 2017 15:35:26 +0900 atton Wrote untyped lambda
Sat, 28 Jan 2017 12:10:35 +0900 atton Wrote untyped expression
Sat, 28 Jan 2017 11:28:38 +0900 atton Writing expression ...
Sat, 28 Jan 2017 10:29:37 +0900 atton Writing expression ...
Sat, 28 Jan 2017 09:47:44 +0900 atton Update TODO
Sat, 28 Jan 2017 09:46:02 +0900 atton Writing expression ...
Sat, 28 Jan 2017 09:02:15 +0900 atton Update lambda description
Fri, 27 Jan 2017 17:10:33 +0900 atton Writing lambda ...
Thu, 26 Jan 2017 17:16:18 +0900 atton Writing lambda
Thu, 26 Jan 2017 11:03:51 +0900 atton Add type system description
Thu, 26 Jan 2017 10:15:57 +0900 atton Add comments on seminar
Mon, 23 Jan 2017 18:41:23 +0900 atton Add akasha result
Mon, 23 Jan 2017 17:19:30 +0900 atton Add akasha description
Mon, 23 Jan 2017 15:42:08 +0900 atton Add rbtree description
Mon, 23 Jan 2017 10:39:15 +0900 atton Add figure
Mon, 23 Jan 2017 10:36:42 +0900 atton Add rbtree figure
Mon, 23 Jan 2017 10:00:41 +0900 atton Add bibliography
Sun, 22 Jan 2017 16:35:37 +0900 atton Update introduction
Sun, 22 Jan 2017 16:24:59 +0900 atton Update introduction
Fri, 20 Jan 2017 16:37:04 +0900 atton Add introduction
Fri, 20 Jan 2017 14:53:16 +0900 atton Add stub description
Fri, 20 Jan 2017 14:39:45 +0900 atton Add GearsOS description
Fri, 20 Jan 2017 12:40:43 +0900 atton Add GearsOS