Lambda Calculus Exercises From An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson Just a collection of my work as I read through the book. Exercises Chapter 2 Chapter 3