Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
application (λa. λb. a) 1 2 --------------- lambda application (λb. 1) 2 --------- lambda application 1 2. Going scopeless The language we have so far is the Affine λ-calculus, and it is a subset of both the λ-calculus and the SIC. Now, paths will diverge, as we’ll do something the λ-calculus is