# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1485393357 -32400
# Node ID 6271235aa6a30b94b92cf815e1ec32c7a239a58c
# Parent  36ce493604fbf037a18b53ec517f07e68ede677e
Add comments on seminar

diff -r 36ce493604fb -r 6271235aa6a3 paper/atton-master.tex
--- 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}