Mercurial > hg > Members > ryokka > HoareLogic
diff whileTestGears.agda @ 45:de8449321356
close
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 15 Dec 2019 21:42:28 +0900 |
parents | 5a3c9d087c7c |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 15 Dec 2019 21:42:28 +0900 |
parents | 5a3c9d087c7c |
children |