Skip to content

Resolve "`whnf` doesn't unfold applications where the head is a declaration"

Closes #75 (closed)

Merge request reports

Loading