hazelgrove/hazelnut-dynamics-agda

Readme
Issues
Stargazers
Watchers

rename CECastFinal to CECastFail

ivoysey opened this issue 7 years ago · 0 comments

ivoysey commented 7 years ago

rename CECastFinal to CECastFail

Share to

Contact site admin: Geeks.