Resolve "`whnf` doesn't unfold applications where the head is a declaration"
Merged
requested to merge 75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main
Closes #75 (closed)
Merge request reports
Activity
Filter activity
Please register or sign in to reply