hazelgrove/hazelnut-dynamics-agda

Final confluence

Closed this issue · 0 comments

ivoysey commented
Final confluence