Mercurial > hg > Papers > 2017 > atton-master
changeset 29:6271235aa6a3
Add comments on seminar
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 26 Jan 2017 10:15:57 +0900 |
parents | 36ce493604fb |
children | 55f67e448dcc |
files | paper/atton-master.tex |
diffstat | 1 files changed, 7 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/atton-master.tex Mon Jan 23 18:41:23 2017 +0900 +++ b/paper/atton-master.tex Thu Jan 26 10:15:57 2017 +0900 @@ -1,3 +1,10 @@ +% 比較対象 +% agda の stack? +% akasha は別 chapter にして +% あと syntax を最新に合わせて動かしてくれ +% type system に名前を付ける? +% 先の展望を書くべきだな + \documentclass[a4j,12pt]{jreport} \usepackage{master_paper} \usepackage{ascmac}