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