Binary file cfopm.pdf has changed

--- a/cfopm.tex	Sat Apr 18 19:08:28 2015 +0900
+++ b/cfopm.tex	Sun Apr 19 11:55:56 2015 +0900
@@ -229,6 +229,15 @@
 Modifications of values stored list like structure named Delta.
 Delta contains two constructor Mono and Delta, Mono represents first version, Delta represents modification.
 Infix operator \verb/>>=/ handles extended abstraction has typed $ \verb/A/ \rightarrow \verb/Delta B/ $ recursive applies to each original versions.
+This definition represents simple modification only monotonic increase versioning (exclude branching and merging) and program has consistent type in all versions.
+We executed different versions in same time and proved satisfying Monad laws by proof assistant language Agda.
+
+\section{Conclusion and Future Works}
+Handleable modification by meta computations is proposed.
+Using this Delta Monad, we can make reliable program development possible.
+Especially, Automatically property comparison in development cycle is made possible by CbC also plans incorporate model checker as meta computations.
+We aim to extend Delta Monad represents all possible modifications (branching, merging, and more) with proof and implement to CbC.
+
 
 % An example of a floating figure using the graphicx package.
 % Note that \label must occur AFTER (or within) \caption.