Make `whnf` behave as intended on application

Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions

BSD 3-Clause "New" or "Revised" License

372 stars 25 forks source link

Closed sgraf812 closed 7 years ago

sgraf812 commented 7 years ago

I stumbled over this while comparing with how bound does things. Performance figures are rather mixed.

Gabriella439 commented 7 years ago

Good catch! Thanks for fixing this