Mercurial > hg > Members > ryokka > HoareLogic
diff whileTestPrim.agda @ 60:ad83c2d5e869
agda2 can't stop case
author | ryokka |
---|---|
date | Sat, 21 Dec 2019 18:28:46 +0900 |
parents | e668962ac31a |
children | 07b183a726f6 |
author | ryokka |
---|---|
date | Sat, 21 Dec 2019 18:28:46 +0900 |
parents | e668962ac31a |
children | 07b183a726f6 |