hazelgrove/hazelnut-dynamics-agda

change the form of failed casts

Closed this issue · 0 comments

ivoysey commented
change the form of failed casts