Mercurial > hg > Members > ryokka > HoareLogic
comparison whileTestPrimProof.agda @ 60:ad83c2d5e869
agda2 can't stop case
author | ryokka |
---|---|
date | Sat, 21 Dec 2019 18:28:46 +0900 |
parents | e668962ac31a |
children | 62dcb0ae2c94 |
comparison
equal
deleted
inserted
replaced
59:5c2cdcee9971 | 60:ad83c2d5e869 |
---|