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

Closes #75 (closed)

added Kernel label

assigned to @belazy

added 1 commit

• e0c2b840 - fix(kernel): unfold applications where the header is a `Decl`

Compare with previous version

marked this merge request as ready

enabled an automatic merge when the pipeline for e0c2b840 succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• 7e3000c2 - fix(kernel): please clippy (?)

Compare with previous version

added 2 commits

• b8a511d9 - 1 commit from branch main
• f6a9ba41 - fix(kernel): unfold applications where the header is a `Decl`

Compare with previous version

added 1 commit

• 4d02977f - chore(clippy): clippy

Compare with previous version

enabled an automatic merge when the pipeline for 4d02977f succeeds

merged