Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
previously. One of the main reasons is it doesn’t actually evaluate every program of the λ-calculus. For some input programs, it, instead, simply fails to halt, or even returns downright wrong results; in this issue I present an example. Moreover, even λ-terms that succeed to reduce pass through