changeset 75:a3a9d56f71ec

First review
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 06 Feb 2017 20:23:42 +0900
parents e9ff08a232f7
children a9ed6a6dc1f2
files paper/atton-master.tex
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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}