hazelgrove/hazelnut-dynamics-agda

quasi-readable canonical forms statements

Closed this issue · 0 comments

ivoysey commented
quasi-readable canonical forms statements