Mercurial > hg > Papers > 2015 > atton-lola
changeset 19:555a28173a0a submit
Fix typo
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 20 Apr 2015 18:35:35 +0900 (2015-04-20) |
parents | 31914d668f22 |
children | 3652d6ad7b7e |
files | cfopm.pdf cfopm.tex |
diffstat | 2 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- 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}