# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486380222 -32400
# Node ID a3a9d56f71ec9231ffcc90f02cbab480720d05aa
# Parent  e9ff08a232f7198fd02475c2048bf11c19a046c8
First review

diff -r e9ff08a232f7 -r a3a9d56f71ec paper/atton-master.tex
--- a/paper/atton-master.tex	Mon Feb 06 16:13:14 2017 +0900
+++ b/paper/atton-master.tex	Mon Feb 06 20:23:42 2017 +0900
@@ -2,6 +2,7 @@
 %    比較対象
 %        agda の stack?
 %    akasha は別 chapter にして
+%       あと増量させる
 %    あと syntax を最新に合わせて動かしてくれ
 %    type system に名前を付ける?
 %    先の展望を書くべきだな
@@ -9,7 +10,11 @@
 %    delta monad
 %    副査名修正
 %    csComp, push-pop, exec-comp の解説
-
+%    型システムの説明は付録に
+%        というか説明が良くない
+%    ポンチ絵を増やして良い(meta とかの上書き)
+%    stub を生成するスクリプトを作ってるって書いて良い
+%    スローガンを書きたい
 
 
 \documentclass[a4j,12pt]{jreport}