Mercurial > hg > Papers > 2017 > atton-master

changeset 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 34812c1b33c2
files paper/atton-master.tex
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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}