Skip to content
Snippets Groups Projects
Commit f6a9ba41 authored by arthur-adjedj's avatar arthur-adjedj
Browse files

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

parent b8a511d9
No related branches found
No related tags found
1 merge request!57Resolve "`whnf` doesn't unfold applications where the head is a declaration"
Pipeline #11944 failed with stages
Stage: check
    Stage: build
      Stage: tests
        in 2 minutes and 41 seconds