Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/atton-master.tex @ 35:26c89a10de3c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update TODO
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 28 Jan 2017 09:47:44 +0900
parents 9800586284e1
children d14c3fa5f3ea
comparison
equal deleted inserted replaced
34:9800586284e1 35:26c89a10de3c
1 % TODO lists
1 % 比較対象 2 % 比較対象
2 % agda の stack? 3 % agda の stack?
3 % akasha は別 chapter にして 4 % akasha は別 chapter にして
4 % あと syntax を最新に合わせて動かしてくれ 5 % あと syntax を最新に合わせて動かしてくれ
5 % type system に名前を付ける? 6 % type system に名前を付ける?
6 % 先の展望を書くべきだな 7 % 先の展望を書くべきだな
8 % gears and monad
9 % delta monad
10 % 副査名修正
11
7 12
8 \documentclass[a4j,12pt]{jreport} 13 \documentclass[a4j,12pt]{jreport}
9 \usepackage{master_paper} 14 \usepackage{master_paper}
10 \usepackage{ascmac} 15 \usepackage{ascmac}
11 \usepackage{bussproofs} 16 \usepackage{bussproofs}