Mercurial > hg > Papers > 2017 > atton-master

changeset 112:4e30a8a7128c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 13 Feb 2017 15:00:06 +0900
parents a133c32db45e (diff) 5ad74fb83f72 (current diff)
children 2e30ed0e2633
files paper/atton-master.pdf
diffstat 2 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
Binary file paper/atton-master.pdf has changed
--- 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}