Mercurial > hg > Papers > 2018 > nozomi-master
changeset 111:a133c32db45e
Second paper review
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 13 Feb 2017 14:59:25 +0900 |
| parents | e1d3317d5789 |
| children | 4e30a8a7128c |
| files | paper/atton-master.tex |
| diffstat | 1 files changed, 1 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/atton-master.tex Mon Feb 13 13:47:04 2017 +0900 +++ b/paper/atton-master.tex Mon Feb 13 14:59:25 2017 +0900 @@ -6,9 +6,7 @@ % 先の展望を書くべきだな % delta monad % csComp, push-pop, exec-comp の解説 -% stub を生成するスクリプトを作ってるって書いて良い -% スローガンを書きたい -% ソースで省略しているところはそう書く +% Agda の三段論法の解説を増やす \documentclass[a4j,12pt]{jreport}