Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
restricting the λ-calculus to be Absal-compatible makes it hard to program with. What now? For one, we know there are things λ-terms can do that Absal can’t. But the converse is also true: there are things Absal can do that λ-terms can’t! For example, it has no problems expressing abstractions