Skip to content

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

belazy requested to merge 75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main

Closes #75 (closed)

Merge request reports