Mercurial > hg > Papers > 2018 > ryokka-thesis

view final_main/chapter4.tex @ 0:46d543c569d2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add MindMap
author ryokka
date Thu, 25 Jan 2018 17:00:42 +0900
parents
children 0035f6d4826f
line wrap: on
line source

\chapter{CbCとAgda}

\section{}
実装部分。
Agdaでの実装とかAgdaでの証明とかその解説とか?