hazelgrove/hazelnut-dynamics-agda

remove marks on all holes

Closed this issue · 2 comments

remove marks on all holes

per discussion with @cyrus- about some of the currently unfillable holes

are there rules that are redundant in the absence of marked holes?