Mercurial > hg > Members > ryokka > HoareLogic

comparison whileTestPrim.agda @ 30:dd66b94bf365

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 07b183a726f6
comparison
equal deleted inserted replaced
29:816b44e5e674 30:dd66b94bf365