hazelgrove/agda-popl17

extend determinism to sums

Closed this issue · 0 comments

ivoysey commented
extend determinism to sums