Introduction to the Lambda Calculus1

1 This document consists entirely of screenshots from the Wikipedia article on the lambda calculus.

Note that 𝜆𝑥.𝑡 is exactly equivalent to the Haskell syntax \x -> t .