Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ======= Lab 8 - The Lambda Calculus ======= 1. Consider the following datatype which encodes λ-expressions.