fix(kernel): unfold applications where the header is a `Decl`
1 related merge request: !57 Resolve "`whnf` doesn't unfold applications where the head is a declaration"
4 jobs
2 minutes 41 seconds, queued for 2 seconds