# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1485923278 -32400
# Node ID 3f58377a9f59ef8fe62ec8dd7b3062ebd490ddde
# Parent  6060f56bb5645a8945e2336bbb6168c49262076c
Split cbc-type.tex

diff -r 6060f56bb564 -r 3f58377a9f59 paper/atton-master.tex
--- a/paper/atton-master.tex	Tue Jan 31 19:26:31 2017 +0900
+++ b/paper/atton-master.tex	Wed Feb 01 13:27:58 2017 +0900
@@ -116,21 +116,10 @@
 %chapters
 \input{introduction.tex}
 
-\input{cbc.tex}
-\input{type.tex}
-\input{agda.tex}
-
-
-\chapter{Agda における Continuation based C の表現}
-\label{chapter:cbc-type}
-\section{CodeSegment の定義}
-\section{DataSegment の定義}
-\section{ノーマルレベル計算の実行}
-\section{MetaCodeSegment の定義}
-\section{MetaDataSegment の定義}
-\section{メタレベル計算の実行}
-\section{Agda を用いたContinuation based C の検証}
-\section{スタックの実装の検証}
+% \input{cbc.tex}
+% \input{type.tex}
+% \input{agda.tex}
+\input{cbc-type.tex}
 
 \chapter{まとめ}
 \section{今後の課題}
diff -r 6060f56bb564 -r 3f58377a9f59 paper/cbc-type.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/cbc-type.tex	Wed Feb 01 13:27:58 2017 +0900
@@ -0,0 +1,11 @@
+\chapter{Agda における Continuation based C の表現}
+\label{chapter:cbc-type}
+\section{CodeSegment の定義}
+\section{DataSegment の定義}
+\section{ノーマルレベル計算の実行}
+\section{MetaCodeSegment の定義}
+\section{MetaDataSegment の定義}
+\section{メタレベル計算の実行}
+\section{Agda を用いたContinuation based C の検証}
+\section{スタックの実装の検証}
+