hazelgrove/agda-popl17

final pass to remove cruft, document

Closed this issue · 0 comments

ivoysey commented
final pass to remove cruft, document