Skip to content
Snippets Groups Projects

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

Merged Resolve "`whnf` doesn't unfold applications where the head is a declaration"
75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main
Merged belazy requested to merge 75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main