# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486965606 -32400
# Node ID 4e30a8a7128c561399c21dba2a5d8114d1d006f6
# Parent  a133c32db45ee73c5b1a809cf0280ed494877877# Parent  5ad74fb83f722fb45b11da64ba355f651be7db57
Merge

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