Mercurial > hg > Papers > 2018 > nozomi-master
diff paper/cbc-type.tex @ 71:b0cfef1cd89f
Add sample source
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 06 Feb 2017 10:15:16 +0900 |
parents | ec6799ca9d42 |
children | fd984cfd5425 |
line wrap: on
line diff
--- a/paper/cbc-type.tex Sun Feb 05 16:53:16 2017 +0900 +++ b/paper/cbc-type.tex Mon Feb 06 10:15:16 2017 +0900 @@ -57,6 +57,7 @@ % {{{ ノーマルレベル計算の実行 \section{ノーマルレベル計算の実行} +\label{section:normal-level-exec} プログラムを実行することは \verb/goto/ を定義することと同義である。 軽量継続\verb/goto/ の性質としては @@ -78,7 +79,7 @@ この \verb/goto/ の定義を用いることで main などの関数が評価できるようになり、値150が得られる。 本文中での CodeSegment の定義は一部を抜粋している。 -実行可能な Agda のソースコードは付録に載せる。% TODO: Appendix +実行可能な Agda のソースコードは付録に載せる。 % }}}