# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1423970215 -32400
# Node ID d65a84d36eba7088eb1a3bcdac4d22439d46088b
# Parent  1b688e70f2a8dacaabb66bc0228e26f8a6790600
Fix appendix

diff -r 1b688e70f2a8 -r d65a84d36eba appendix.tex
--- a/appendix.tex	Sun Feb 15 11:17:59 2015 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-\appendix
-
-\input{proof_delta}
-% \input{proof_deltaM}
-% TODO: 実験環境
-% TODO: Delta と DeltaM の本体
diff -r 1b688e70f2a8 -r d65a84d36eba delta_with_monad.tex
--- a/delta_with_monad.tex	Sun Feb 15 11:17:59 2015 +0900
+++ b/delta_with_monad.tex	Sun Feb 15 12:16:55 2015 +0900
@@ -1,4 +1,4 @@
 \chapter{任意の Monad と Delta の組み合せ}
-\section{Monad と組み合せた Delta である DeltaM の定義}
+\section{Monad と組み合せた Delta である DeltaM}
 \section{DeltaM を用いたプログラムの例}
 
diff -r 1b688e70f2a8 -r d65a84d36eba main.tex
--- a/main.tex	Sun Feb 15 11:17:59 2015 +0900
+++ b/main.tex	Sun Feb 15 12:16:55 2015 +0900
@@ -77,6 +77,7 @@
 \input{category}
 \input{functional_programming}
 \input{agda}
+\input{proof_delta}
 \input{delta_with_monad.tex}
 
 
@@ -90,6 +91,9 @@
 \input{thanks.tex}
 
 % 付録
-\input{appendix.tex}
+\appendix
+% \input{proof_deltaM}
+% TODO: 実験環境
+% TODO: Delta と DeltaM の本体
 
 \end{document}