Mercurial > hg > Papers > 2020 > ryokka-master

comparison paper/tree.tex @ 5:196ba119ca89

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix, and add mindmap->pdf
author ryokka
date Mon, 03 Feb 2020 21:47:43 +0900
parents 41a936510fd0
children
comparison
equal deleted inserted replaced
4:b5fffa8ae875 5:196ba119ca89
1 \chapter{BinaryTree} 1 \chapter{BinaryTree}
2 \label{chapter:btree}
2 CbC-Agda 上での Binary Tree 3 CbC-Agda 上での Binary Tree
3 4
4 \section{BinaryTree} 5 \section{BinaryTree}
5 BinaryTree 概要 6 BinaryTree 概要
6 7