# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1485564464 -32400
# Node ID 26c89a10de3c9ef77b715f342403e4f862323c08
# Parent  9800586284e1af68e137ee0f1a3056a274b1870a
Update TODO

diff -r 9800586284e1 -r 26c89a10de3c paper/atton-master.tex
--- a/paper/atton-master.tex	Sat Jan 28 09:46:02 2017 +0900
+++ b/paper/atton-master.tex	Sat Jan 28 09:47:44 2017 +0900
@@ -1,9 +1,14 @@
+% TODO lists
 %    比較対象
 %        agda の stack?
 %    akasha は別 chapter にして
 %    あと syntax を最新に合わせて動かしてくれ
 %    type system に名前を付ける?
 %    先の展望を書くべきだな
+%    gears and monad
+%    delta monad
+%    副査名修正
+
 
 \documentclass[a4j,12pt]{jreport}
 \usepackage{master_paper}