Mercurial > hg > Members > Moririn
diff hoareBinaryTree1.agda @ 609:79418701a283
add test and speciication
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Nov 2021 16:35:11 +0900 (2021-11-04) |
parents | 0dbbcab02864 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Nov 2021 16:35:11 +0900 (2021-11-04) |
parents | 0dbbcab02864 |
children |