--- a/paper/atton-master.tex	Thu Feb 09 18:58:53 2017 +0900
+++ b/paper/atton-master.tex	Thu Feb 09 19:08:11 2017 +0900
@@ -1,16 +1,11 @@
 % TODO lists
 %    比較対象
 %        agda の stack?
-%    akasha は別 chapter にして
-%       あと増量させる
 %    あと syntax を最新に合わせて動かしてくれ
 %    type system に名前を付ける?
 %    先の展望を書くべきだな
 %    delta monad
 %    csComp, push-pop, exec-comp の解説
-%    型システムの説明は付録に
-%        というか説明が良くない
-%    ポンチ絵を増やして良い(meta とかの上書き)
 %    stub を生成するスクリプトを作ってるって書いて良い
 %    スローガンを書きたい
 %    ソースで省略しているところはそう書く