Mercurial > hg > Papers > 2015 > atton-thesis

diff agda.tex @ 40:470d99799398

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add description functor record
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 13 Feb 2015 11:31:46 +0900
parents 2ff5acb0d2e9
children 8fc2ac1f901f
line wrap: on
line diff
--- a/agda.tex	Thu Feb 12 18:08:01 2015 +0900
+++ b/agda.tex	Fri Feb 13 11:31:46 2015 +0900
@@ -1,4 +1,4 @@
-\chapter{Agda による証明手法}
+\chapter{証明支援系言語 Agda による証明手法}
 \label{chapter:agda}
 第\ref{chapter:category}章においては functor, natural transformation, monad の定義と functional programming における対応について述べた。
 その中で、 Functor 則や Monad 則といった満たすべき性質がいくつか存在した。