Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
x λt. t (λf. term) (λf. term) Here, we took a single λf out of the term = ... line, and duplicated it before each occurrence of term. That’s a good start, but now there are two λf. Having two lambdas with the same variable is a problem because applying one will force the other to be applied the