Mercurial > hg > Papers > 2020 > ryokka-master

view paper/agda.tex @ 0:41a936510fd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initialize
author ryokka
date Thu, 02 Jan 2020 21:25:52 +0900
parents
children ee44dbda6bd3
line wrap: on
line source

\chapter{Agda}
Agda についての説明

\section{Agda の Data Type}
data とか record とか

\section{Agda の関数}
関数定義だったり型とかの話

\section{Agda での検証}
検証の話

\section{定理証明とプログラミング検証}
たぶん Curry-Howard isomorphism の話