Mercurial > hg > Members > ryokka > HoareLogic
diff whileTestPrim.agda @ 69:5b17a3601037
try loop
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 23 Dec 2019 16:36:06 +0900 |
parents | e668962ac31a |
children | 07b183a726f6 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 23 Dec 2019 16:36:06 +0900 |
parents | e668962ac31a |
children | 07b183a726f6 |