Papers/2018/nozomi-master: revision graph

graph

less more | rev 84: (0) -15 +15 +100 tip

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

less more | rev 84: (0) -15 +15 +100 tip