stepping shouldn't have a Delta in statement of preservation
Closed this issue · 1 comments
cyrus- commented
hazelnut-dynamics-agda/preservation.agda
Line 103 in 32b1203
ivoysey commented
Also preservation uses all the old constructors for rules that don't exist any more :)