Papers/2017/atton-master: revision graph

graph

less more | rev 118: (0) -100 -60 tip

Fix specification
Mon, 13 Feb 2017 17:39:10 +0900, by atton
Adjust color
Mon, 13 Feb 2017 17:33:48 +0900, by atton
Update slide
Mon, 13 Feb 2017 17:31:45 +0900, by atton
Add Makefile
Mon, 13 Feb 2017 17:15:10 +0900, by atton
Writing slide...
Mon, 13 Feb 2017 16:01:38 +0900, by atton
Fix akasha
Mon, 13 Feb 2017 15:44:45 +0900, by atton
Merge
Mon, 13 Feb 2017 15:00:06 +0900, by atton
Second paper review
Mon, 13 Feb 2017 14:59:25 +0900, by atton
Fix
Mon, 13 Feb 2017 14:18:03 +0900, by atton
Add ()
Mon, 13 Feb 2017 14:11:30 +0900, by atton
Fix return
Mon, 13 Feb 2017 13:59:20 +0900, by atton
Writing slide...
Mon, 13 Feb 2017 13:47:04 +0900, by atton
Fix cover
Mon, 13 Feb 2017 13:22:18 +0900, by atton
Added tag teacher-submit for changeset 0ab2de92120b
Mon, 13 Feb 2017 10:36:46 +0900, by atton
Added tag 1F-submit for changeset 0a4646310261 teacher-submit
Mon, 13 Feb 2017 10:33:15 +0900, by atton
Generate slide
Sun, 12 Feb 2017 18:10:33 +0900, by atton
Writing slide ...
Sun, 12 Feb 2017 18:10:16 +0900, by atton
Update
Sun, 12 Feb 2017 14:29:28 +0900, by atton
Self review
Sun, 12 Feb 2017 11:52:20 +0900, by atton
Update
Sun, 12 Feb 2017 11:13:08 +0900, by atton
Update abstract
Sun, 12 Feb 2017 10:45:45 +0900, by atton
fix
Fri, 10 Feb 2017 17:22:00 +0900, by Shinji KONO
Update 1F-submit
Fri, 10 Feb 2017 14:25:43 +0900, by atton
Update
Thu, 09 Feb 2017 19:08:11 +0900, by atton
Fix
Thu, 09 Feb 2017 18:58:53 +0900, by atton
Update
Thu, 09 Feb 2017 18:54:18 +0900, by atton
Add figure
Thu, 09 Feb 2017 18:52:09 +0900, by atton
Update
Thu, 09 Feb 2017 18:37:26 +0900, by atton
Add figure meta-hierarchy
Thu, 09 Feb 2017 18:30:02 +0900, by atton
Fix
Thu, 09 Feb 2017 18:12:12 +0900, by atton
Add figure
Thu, 09 Feb 2017 17:50:50 +0900, by atton
Update fig
Thu, 09 Feb 2017 16:34:07 +0900, by atton
Fix lstinput
Thu, 09 Feb 2017 15:40:11 +0900, by atton
Update curry-howard isomorphism
Thu, 09 Feb 2017 15:36:52 +0900, by atton
Update type.tex
Thu, 09 Feb 2017 13:57:35 +0900, by atton
Add simple/sub type description
Thu, 09 Feb 2017 12:56:22 +0900, by atton
Update
Wed, 08 Feb 2017 17:39:12 +0900, by atton
Update
Wed, 08 Feb 2017 17:37:08 +0900, by atton
Update summary
Wed, 08 Feb 2017 17:25:27 +0900, by atton
Update agda description
Wed, 08 Feb 2017 15:52:44 +0900, by atton
Reconstruct paper
Wed, 08 Feb 2017 14:49:51 +0900, by atton
Update chapter akasha
Wed, 08 Feb 2017 14:27:06 +0900, by atton
Add chapter akasha
Wed, 08 Feb 2017 13:50:52 +0900, by atton
First review
Mon, 06 Feb 2017 20:23:42 +0900, by atton
Add references
Mon, 06 Feb 2017 16:13:14 +0900, by atton
Add abstract
Mon, 06 Feb 2017 15:42:45 +0900, by atton
Add sources
Mon, 06 Feb 2017 10:32:49 +0900, by atton
Add sample source
Mon, 06 Feb 2017 10:15:16 +0900, by atton
Add summary
Sun, 05 Feb 2017 16:53:16 +0900, by atton
Update pdf
Sat, 04 Feb 2017 16:34:14 +0900, by atton
Update TODO
Sat, 04 Feb 2017 16:19:41 +0900, by atton
Add proof description
Sat, 04 Feb 2017 16:19:23 +0900, by atton
Add push/pop description
Sat, 04 Feb 2017 12:23:25 +0900, by atton
Add single linked stack
Fri, 03 Feb 2017 16:34:30 +0900, by atton
Mini fixes with ryokka-san
Fri, 03 Feb 2017 14:49:58 +0900, by atton
Add example of meta code segment execution
Fri, 03 Feb 2017 11:59:41 +0900, by atton
Add Meta CodeSegment description
Fri, 03 Feb 2017 10:29:28 +0900, by atton
Add Meta DataSegment description
Fri, 03 Feb 2017 10:23:26 +0900, by atton
Add normal level goto
Wed, 01 Feb 2017 15:37:11 +0900, by atton
Mini fixes
Wed, 01 Feb 2017 15:27:15 +0900, by atton

less more | rev 118: (0) -100 -60 tip

Mercurial > hg > Papers > 2017 > atton-master

graph