log

age author description
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
Fri, 20 Jan 2017 11:37:01 +0900 atton Add meta computations
Thu, 19 Jan 2017 11:39:10 +0900 atton Update cbc description
Thu, 19 Jan 2017 11:29:13 +0900 atton Add goto.cbc and goto.pdf
Wed, 18 Jan 2017 17:09:21 +0900 atton Update cbc description
Wed, 18 Jan 2017 16:26:44 +0900 atton Add cbc description
Tue, 17 Jan 2017 17:13:38 +0900 atton Update table of contents
Mon, 16 Jan 2017 16:40:22 +0900 atton Mini fixes
Mon, 16 Jan 2017 16:28:42 +0900 atton Add first table of contents
Mon, 16 Jan 2017 15:47:43 +0900 atton Add history.tex
Mon, 16 Jan 2017 15:37:45 +0900 atton Add thanks.tex
Mon, 16 Jan 2017 15:32:57 +0900 atton Import reference from atton-thesis
Mon, 16 Jan 2017 15:30:59 +0900 atton Add packages from atton-thesis
Mon, 16 Jan 2017 15:27:36 +0900 atton Fix title
Mon, 16 Jan 2017 15:18:03 +0900 atton Import files for compile
Mon, 16 Jan 2017 15:11:47 +0900 atton Import main tex file from kkb-master
Mon, 16 Jan 2017 15:06:00 +0900 atton Add .hgignore
Mon, 16 Jan 2017 15:03:14 +0900 atton Add mindmap