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