Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/atton-master.tex @ 75:a3a9d56f71ec

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First review
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 06 Feb 2017 20:23:42 +0900
parents b0cfef1cd89f
children a9ed6a6dc1f2
comparison
equal deleted inserted replaced
74:e9ff08a232f7 75:a3a9d56f71ec
1 % TODO lists 1 % TODO lists
2 % 比較対象 2 % 比較対象
3 % agda の stack? 3 % agda の stack?
4 % akasha は別 chapter にして 4 % akasha は別 chapter にして
5 % あと増量させる
5 % あと syntax を最新に合わせて動かしてくれ 6 % あと syntax を最新に合わせて動かしてくれ
6 % type system に名前を付ける? 7 % type system に名前を付ける?
7 % 先の展望を書くべきだな 8 % 先の展望を書くべきだな
8 % gears and monad 9 % gears and monad
9 % delta monad 10 % delta monad
10 % 副査名修正 11 % 副査名修正
11 % csComp, push-pop, exec-comp の解説 12 % csComp, push-pop, exec-comp の解説
12 13 % 型システムの説明は付録に
14 % というか説明が良くない
15 % ポンチ絵を増やして良い(meta とかの上書き)
16 % stub を生成するスクリプトを作ってるって書いて良い
17 % スローガンを書きたい
13 18
14 19
15 \documentclass[a4j,12pt]{jreport} 20 \documentclass[a4j,12pt]{jreport}
16 \usepackage{master_paper} 21 \usepackage{master_paper}
17 \usepackage{ascmac} 22 \usepackage{ascmac}