hazelgrove/agda-popl17

add let

Closed this issue · 2 comments

ivoysey commented
add let
ivoysey commented

maybe after #2

ivoysey commented

migrating this to the issue tracker repo.