Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
language we have so far is quite weird. In a sense, it is more powerful than the λ-calculus, because applications can move arguments to outside the function’s scope. Yet, it is much less powerful, because of the lack of duplication. In fact, it is not even Turing-complete and terminates after a