Mercurial > hg > Papers > 2018 > nozomi-master

diff paper/sources.tex @ 100:ebe838b83ada

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Self review
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sun, 12 Feb 2017 11:52:20 +0900
parents 54cf3b3153fe
children
line wrap: on
line diff
--- a/paper/sources.tex	Sun Feb 12 11:13:08 2017 +0900
+++ b/paper/sources.tex	Sun Feb 12 11:52:20 2017 +0900
@@ -9,7 +9,7 @@
 
 \section{ノーマルレベル計算の実行}
 \ref{section:normal-level-exec}節で取り上げたソースコードをリスト~\ref{src:normal-level-exec}に示す。
-CbC のコードにより近づけるようにA gda 上の \verb/Data.Nat/ を \verb/Int/ という名前に変更している。
+CbC のコードにより近づけるよう Agda 上の \verb/Data.Nat/ を \verb/Int/ という名前に変更している。
 
 \lstinputlisting[label=src:normal-level-exec, caption=ノーマルレベル計算例の完全なソースコード(atton-master-sample.agda)] {src/atton-master-sample.agda.replaced}