Mercurial > hg > Members > ryokka > HoareLogic
comparison whileTestPrimProof.agda @ 37:2db6120a02e6
fix
author | ryokka |
---|---|
date | Fri, 13 Dec 2019 19:54:28 +0900 |
parents | e668962ac31a |
children | 62dcb0ae2c94 |
comparison
equal
deleted
inserted
replaced
36:320b765a6424 | 37:2db6120a02e6 |
---|