Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
intermediate representations that correspond to no λ-term at all. This suggests a mismatch between the Abstract Algorithm and the λ-calculus. But there are workarounds: 1. Modify the abstract algorithm to cover all λ-terms. If the abstract algorithm doesn’t cover all terms, can’t we change it so