Geeks
hazelgrove
/
hazelnut-dynamics-agda
Readme
Issues
Stargazers
Watchers
rename CECastFinal to CECastFail
Closed this issue
7 years ago
·
0
comments
ivoysey
commented
7 years ago
rename CECastFinal to CECastFail