hazelgrove/agda-popl17

final pass to propagate to sums, curate diff

Closed this issue · 0 comments

ivoysey commented
final pass to propagate to sums, curate diff