Resolve "`whnf` doesn't unfold applications where the head is a declaration"
Merged
requested to merge 75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main
Closes #75 (closed)
Merge request reports
Activity
Filter activity
added Kernel label
assigned to @belazy
added 1 commit
- e0c2b840 - fix(kernel): unfold applications where the header is a `Decl`
enabled an automatic merge when the pipeline for e0c2b840 succeeds
enabled an automatic merge when the pipeline for 4d02977f succeeds
Please register or sign in to reply