Mercurial > hg > Papers > 2015 > atton-lola

changeset 18:31914d668f22

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust for submit
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 20 Apr 2015 18:29:48 +0900
parents d79ef5de8858
children 555a28173a0a
files cfopm.pdf cfopm.tex
diffstat 2 files changed, 1 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
Binary file cfopm.pdf has changed
--- a/cfopm.tex	Mon Apr 20 18:22:54 2015 +0900
+++ b/cfopm.tex	Mon Apr 20 18:29:48 2015 +0900
@@ -79,7 +79,6 @@
 % As a general rule, do not put math, special symbols or citations
 % in the abstract
 \begin{abstract}
-% FIXME: please check added abstract
 We propsed programming units called code segments and data segments.
 These are parts of code and data. It is designed to be work with
 meta compution. To represent meta compuation, Monad is used.
@@ -300,8 +299,7 @@
 \begin{table}[html]
 \begin{lstlisting}
 data Delta a = Mono a
-             | Delta a (Delta a)
-             deriving Show
+             | Delta a (Delta a) deriving Show
 
 headDelta :: Delta a -> a
 headDelta (Mono  x)   = x
@@ -328,7 +326,6 @@
 We proved satisfying Monad laws by proof assistant language Agda\cite{agda}.
 This monad can be combined with other Monad such as Writer.
 
-% FIXME: please check added an example
 \section{Example}
 We show an example using Delta Monad(Table \ref{src:example_of_delta}).
 A program contains only a function which calculate integer.