Mercurial > hg > Papers > 2017 > atton-master
graph
-
Add original for bookbindingMon, 27 Feb 2017 10:48:07 +0900, by atton
-
Added tag poster for changeset 7917654da828Tue, 21 Feb 2017 18:06:54 +0900, by atton
-
Update reportMon, 20 Feb 2017 14:18:03 +0900, by atton
-
Fix fontSun, 19 Feb 2017 19:34:55 +0900, by atton
-
Add report.docSun, 19 Feb 2017 19:23:10 +0900, by atton
-
addremoveSun, 19 Feb 2017 16:46:12 +0900, by atton
-
Generate pdfSun, 19 Feb 2017 16:46:05 +0900, by atton
-
Wrote slide for poster sessionSun, 19 Feb 2017 16:43:01 +0900, by atton
-
Update posterSun, 19 Feb 2017 13:45:06 +0900, by atton
-
Wrote posterSat, 18 Feb 2017 16:28:40 +0900, by atton
-
Writing poster...Sat, 18 Feb 2017 15:43:30 +0900, by atton
-
Update todoSat, 18 Feb 2017 15:43:09 +0900, by atton
-
Import poster graffle file from kaito-masterSat, 18 Feb 2017 11:16:52 +0900, by atton
-
Add report.txtSat, 18 Feb 2017 11:15:37 +0900, by atton
-
UpdateThu, 16 Feb 2017 13:49:07 +0900, by atton
-
Update referenceThu, 16 Feb 2017 13:39:49 +0900, by atton
-
Added tag presentation for changeset 7ab9767dc9f9Thu, 16 Feb 2017 13:26:33 +0900, by atton
-
Update slideTue, 14 Feb 2017 16:09:01 +0900, by atton
-
Update slideTue, 14 Feb 2017 15:45:03 +0900, by atton
-
Update slideTue, 14 Feb 2017 15:03:04 +0900, by atton
-
Update slideTue, 14 Feb 2017 11:31:08 +0900, by atton
-
Update slideMon, 13 Feb 2017 17:41:26 +0900, by atton
-
Fix specificationMon, 13 Feb 2017 17:39:10 +0900, by atton
-
Adjust colorMon, 13 Feb 2017 17:33:48 +0900, by atton
-
Update slideMon, 13 Feb 2017 17:31:45 +0900, by atton
-
Add MakefileMon, 13 Feb 2017 17:15:10 +0900, by atton
-
Writing slide...Mon, 13 Feb 2017 16:01:38 +0900, by atton
-
Fix akashaMon, 13 Feb 2017 15:44:45 +0900, by atton
-
MergeMon, 13 Feb 2017 15:00:06 +0900, by atton
-
Second paper reviewMon, 13 Feb 2017 14:59:25 +0900, by atton
-
FixMon, 13 Feb 2017 14:18:03 +0900, by atton
-
Add ()Mon, 13 Feb 2017 14:11:30 +0900, by atton
-
Fix returnMon, 13 Feb 2017 13:59:20 +0900, by atton
-
Writing slide...Mon, 13 Feb 2017 13:47:04 +0900, by atton
-
Fix coverMon, 13 Feb 2017 13:22:18 +0900, by atton
-
Added tag teacher-submit for changeset 0ab2de92120bMon, 13 Feb 2017 10:36:46 +0900, by atton
-
Added tag 1F-submit for changeset 0a4646310261 teacher-submitMon, 13 Feb 2017 10:33:15 +0900, by atton
-
Generate slideSun, 12 Feb 2017 18:10:33 +0900, by atton
-
Writing slide ...Sun, 12 Feb 2017 18:10:16 +0900, by atton
-
UpdateSun, 12 Feb 2017 14:29:28 +0900, by atton
-
Self reviewSun, 12 Feb 2017 11:52:20 +0900, by atton
-
UpdateSun, 12 Feb 2017 11:13:08 +0900, by atton
-
Update abstractSun, 12 Feb 2017 10:45:45 +0900, by atton
-
fixFri, 10 Feb 2017 17:22:00 +0900, by Shinji KONO
-
UpdateThu, 09 Feb 2017 19:08:11 +0900, by atton
-
FixThu, 09 Feb 2017 18:58:53 +0900, by atton
-
UpdateThu, 09 Feb 2017 18:54:18 +0900, by atton
-
Add figureThu, 09 Feb 2017 18:52:09 +0900, by atton
-
UpdateThu, 09 Feb 2017 18:37:26 +0900, by atton
-
Add figure meta-hierarchyThu, 09 Feb 2017 18:30:02 +0900, by atton
-
FixThu, 09 Feb 2017 18:12:12 +0900, by atton
-
Add figureThu, 09 Feb 2017 17:50:50 +0900, by atton
-
Update figThu, 09 Feb 2017 16:34:07 +0900, by atton
-
Fix lstinputThu, 09 Feb 2017 15:40:11 +0900, by atton
-
Update curry-howard isomorphismThu, 09 Feb 2017 15:36:52 +0900, by atton
-
Update type.texThu, 09 Feb 2017 13:57:35 +0900, by atton
-
Add simple/sub type descriptionThu, 09 Feb 2017 12:56:22 +0900, by atton
-
UpdateWed, 08 Feb 2017 17:39:12 +0900, by atton
-
UpdateWed, 08 Feb 2017 17:37:08 +0900, by atton
-
Update summaryWed, 08 Feb 2017 17:25:27 +0900, by atton
-
Update agda descriptionWed, 08 Feb 2017 15:52:44 +0900, by atton
-
Reconstruct paperWed, 08 Feb 2017 14:49:51 +0900, by atton
-
Update chapter akashaWed, 08 Feb 2017 14:27:06 +0900, by atton
-
Add chapter akashaWed, 08 Feb 2017 13:50:52 +0900, by atton
-
First reviewMon, 06 Feb 2017 20:23:42 +0900, by atton
-
Add referencesMon, 06 Feb 2017 16:13:14 +0900, by atton
-
Add abstractMon, 06 Feb 2017 15:42:45 +0900, by atton
-
Add sourcesMon, 06 Feb 2017 10:32:49 +0900, by atton
-
Add sample sourceMon, 06 Feb 2017 10:15:16 +0900, by atton
-
Add summarySun, 05 Feb 2017 16:53:16 +0900, by atton
-
Update pdfSat, 04 Feb 2017 16:34:14 +0900, by atton
-
Update TODOSat, 04 Feb 2017 16:19:41 +0900, by atton
-
Add proof descriptionSat, 04 Feb 2017 16:19:23 +0900, by atton
-
Add push/pop descriptionSat, 04 Feb 2017 12:23:25 +0900, by atton
-
Add single linked stackFri, 03 Feb 2017 16:34:30 +0900, by atton
-
Mini fixes with ryokka-sanFri, 03 Feb 2017 14:49:58 +0900, by atton
-
Add example of meta code segment executionFri, 03 Feb 2017 11:59:41 +0900, by atton
-
Add Meta CodeSegment descriptionFri, 03 Feb 2017 10:29:28 +0900, by atton
-
Add Meta DataSegment descriptionFri, 03 Feb 2017 10:23:26 +0900, by atton
-
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