# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1487400189 -32400
# Node ID 80a196c82a4c1b2e78e837606858f35a3e5d7765
# Parent  c1e9c7ab76914d2d2986093e472946346e916d61
Update todo

diff -r c1e9c7ab7691 -r 80a196c82a4c paper/atton-master.tex
--- a/paper/atton-master.tex	Sat Feb 18 11:16:52 2017 +0900
+++ b/paper/atton-master.tex	Sat Feb 18 15:43:09 2017 +0900
@@ -6,8 +6,6 @@
 %    先の展望を書くべきだな
 %    delta monad
 %    csComp, push-pop, exec-comp の解説
-%    Agda の三段論法の解説を増やす
-
 
 \documentclass[a4j,12pt]{jreport}
 \usepackage{master_paper}