Summary of the key concepts covered in this activity
The lambda calculus is a formal model for computation using only lambda functions. Haskell, like other functional languages, is based on the lambda calculus.
The reduction rules from the lambda calculus are used to reduce expressions in Haskell.