# HG changeset patch # User Yasutaka Higa # Date 1429522535 -32400 # Node ID 555a28173a0a22276dde4e829254ea3e56cf68a1 # Parent 31914d668f22536dd7815d121e8044ff79140447 Fix typo diff -r 31914d668f22 -r 555a28173a0a cfopm.pdf Binary file cfopm.pdf has changed diff -r 31914d668f22 -r 555a28173a0a cfopm.tex --- a/cfopm.tex Mon Apr 20 18:29:48 2015 +0900 +++ b/cfopm.tex Mon Apr 20 18:35:35 2015 +0900 @@ -79,9 +79,9 @@ % As a general rule, do not put math, special symbols or citations % in the abstract \begin{abstract} -We propsed programming units called code segments and data segments. +We proposed 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. +meta computation. To represent meta computation, Monad is used. As an example, we define multi versions of programs as a Monad. \end{abstract}