Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
whose variables occur outside of their own bodies, which makes no sense on the λ-calculus. Here is an idea: what if, instead of restricting the λ-calculus to the subset that works with Absal, we fundamentally changed it, making both systems match perfectly? That’s what I’ll do here. But, before,