Mercurial > hg > Papers > 2017 > atton-master

diff paper/sources.tex @ 91:54cf3b3153fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 09 Feb 2017 18:37:26 +0900
parents fd984cfd5425
children ebe838b83ada
line wrap: on
line diff
--- a/paper/sources.tex	Thu Feb 09 18:30:02 2017 +0900
+++ b/paper/sources.tex	Thu Feb 09 18:37:26 2017 +0900
@@ -5,7 +5,7 @@
 \section{部分型の定義}
 リスト~\ref{src:agda-subtype} に Agda 上で定義した CbC の部分型の定義を示す。
 
-\lstinputlisting[label=src:agda-subtype, caption=Agda 上で定義した CbC の部分型の定義(subtype.agda)] {src/subtype.agda}
+\lstinputlisting[label=src:agda-subtype, caption=Agda 上で定義した CbC の部分型の定義(subtype.agda)] {src/subtype.agda.replaced}
 
 \section{ノーマルレベル計算の実行}
 \ref{section:normal-level-exec}節で取り上げたソースコードをリスト~\ref{src:normal-level-exec}に示す。