Mercurial > hg > Papers > 2018 > nozomi-master

changeset 130:80a196c82a4c

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, 18 Feb 2017 15:43:09 +0900
parents c1e9c7ab7691
children ba30f7948580
files paper/atton-master.tex
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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}