# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486965565 -32400
# Node ID a133c32db45ee73c5b1a809cf0280ed494877877
# Parent  e1d3317d5789f088af61ebd18939ed40f9b8bb68
Second paper review

diff -r e1d3317d5789 -r a133c32db45e paper/atton-master.tex
--- a/paper/atton-master.tex	Mon Feb 13 13:47:04 2017 +0900
+++ b/paper/atton-master.tex	Mon Feb 13 14:59:25 2017 +0900
@@ -6,9 +6,7 @@
 %    先の展望を書くべきだな
 %    delta monad
 %    csComp, push-pop, exec-comp の解説
-%    stub を生成するスクリプトを作ってるって書いて良い
-%    スローガンを書きたい
-%    ソースで省略しているところはそう書く
+%    Agda の三段論法の解説を増やす
 
 
 \documentclass[a4j,12pt]{jreport}