Mercurial > hg > Papers > 2017 > atton-master
graph
-
Add normal level gotoWed, 01 Feb 2017 15:37:11 +0900, by atton
-
Mini fixesWed, 01 Feb 2017 15:27:15 +0900, by atton
-
Writing cs/ds in agdaWed, 01 Feb 2017 14:52:01 +0900, by atton
-
Split cbc-type.texWed, 01 Feb 2017 13:27:58 +0900, by atton
-
Add pdfTue, 31 Jan 2017 19:26:31 +0900, by atton
-
Add reasoningTue, 31 Jan 2017 17:30:07 +0900, by atton
-
Writing agda description ......Tue, 31 Jan 2017 17:20:50 +0900, by atton
-
Writing agda description ...Tue, 31 Jan 2017 17:20:04 +0900, by atton
-
Writing agda descriptionTue, 31 Jan 2017 16:41:36 +0900, by atton
-
Writing Agda descriptionTue, 31 Jan 2017 11:57:12 +0900, by atton
-
Add natural deduction and curry-howard isomorphismTue, 31 Jan 2017 10:30:08 +0900, by atton
-
Add agda.texMon, 30 Jan 2017 16:59:53 +0900, by atton
-
Wrote type.texMon, 30 Jan 2017 16:41:56 +0900, by atton
-
Mini fixesMon, 30 Jan 2017 14:54:01 +0900, by atton
-
Wrote subtypeMon, 30 Jan 2017 14:25:14 +0900, by atton
-
Writing subtypeSun, 29 Jan 2017 22:13:47 +0900, by atton
-
Add recordSun, 29 Jan 2017 21:58:35 +0900, by atton
-
Wrote typed-lambdaSun, 29 Jan 2017 12:27:25 +0900, by atton
-
Writing typed-lambdaSun, 29 Jan 2017 11:56:00 +0900, by atton
-
Wrote simple-typeSat, 28 Jan 2017 18:29:15 +0900, by atton
-
Writing typed expressionSat, 28 Jan 2017 17:10:51 +0900, by atton
-
Wrote untyped lambdaSat, 28 Jan 2017 15:35:26 +0900, by atton
-
Wrote untyped expressionSat, 28 Jan 2017 12:10:35 +0900, by atton
-
Writing expression ...Sat, 28 Jan 2017 11:28:38 +0900, by atton
-
Writing expression ...Sat, 28 Jan 2017 10:29:37 +0900, by atton
-
Update TODOSat, 28 Jan 2017 09:47:44 +0900, by atton
-
Writing expression ...Sat, 28 Jan 2017 09:46:02 +0900, by atton
-
Update lambda descriptionSat, 28 Jan 2017 09:02:15 +0900, by atton
-
Writing lambda ...Fri, 27 Jan 2017 17:10:33 +0900, by atton
-
Writing lambdaThu, 26 Jan 2017 17:16:18 +0900, by atton
-
Add type system descriptionThu, 26 Jan 2017 11:03:51 +0900, by atton
-
Add comments on seminarThu, 26 Jan 2017 10:15:57 +0900, by atton
-
Add akasha resultMon, 23 Jan 2017 18:41:23 +0900, by atton
-
Add akasha descriptionMon, 23 Jan 2017 17:19:30 +0900, by atton
-
Add rbtree descriptionMon, 23 Jan 2017 15:42:08 +0900, by atton
-
Add figureMon, 23 Jan 2017 10:39:15 +0900, by atton
-
Add rbtree figureMon, 23 Jan 2017 10:36:42 +0900, by atton
-
Add bibliographyMon, 23 Jan 2017 10:00:41 +0900, by atton
-
Update introductionSun, 22 Jan 2017 16:35:37 +0900, by atton
-
Update introductionSun, 22 Jan 2017 16:24:59 +0900, by atton
-
Add introductionFri, 20 Jan 2017 16:37:04 +0900, by atton
-
Add stub descriptionFri, 20 Jan 2017 14:53:16 +0900, by atton
-
Add GearsOS descriptionFri, 20 Jan 2017 14:39:45 +0900, by atton
-
Add GearsOSFri, 20 Jan 2017 12:40:43 +0900, by atton
-
Add meta computationsFri, 20 Jan 2017 11:37:01 +0900, by atton
-
Update cbc descriptionThu, 19 Jan 2017 11:39:10 +0900, by atton
-
Add goto.cbc and goto.pdfThu, 19 Jan 2017 11:29:13 +0900, by atton
-
Update cbc descriptionWed, 18 Jan 2017 17:09:21 +0900, by atton
-
Add cbc descriptionWed, 18 Jan 2017 16:26:44 +0900, by atton
-
Update table of contentsTue, 17 Jan 2017 17:13:38 +0900, by atton
-
Mini fixesMon, 16 Jan 2017 16:40:22 +0900, by atton
-
Add first table of contentsMon, 16 Jan 2017 16:28:42 +0900, by atton
-
Add history.texMon, 16 Jan 2017 15:47:43 +0900, by atton
-
Add thanks.texMon, 16 Jan 2017 15:37:45 +0900, by atton
-
Import reference from atton-thesisMon, 16 Jan 2017 15:32:57 +0900, by atton
-
Add packages from atton-thesisMon, 16 Jan 2017 15:30:59 +0900, by atton
-
Fix titleMon, 16 Jan 2017 15:27:36 +0900, by atton
-
Import files for compileMon, 16 Jan 2017 15:18:03 +0900, by atton
-
Import main tex file from kkb-masterMon, 16 Jan 2017 15:11:47 +0900, by atton
-
Add .hgignoreMon, 16 Jan 2017 15:06:00 +0900, by atton