Mercurial > hg > Members > ryokka > HoareLogic
comparison Hoare.agda @ 30:dd66b94bf365
loop causes agda inifinite loop
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 10 Dec 2019 08:57:11 +0900 |
parents | e668962ac31a |
children |
comparison
equal
deleted
inserted
replaced
29:816b44e5e674 | 30:dd66b94bf365 |
---|