-
Robbert Krebbers authored
Since env_cbv does not unfold these apps, we should do it ourselves, to avoid ending up with partially evaluated terms.
a1be30d3
Since env_cbv does not unfold these apps, we should do it ourselves, to avoid ending up with partially evaluated terms.