PDX Func Theory Track - Lambda Calculus

We're going through the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html). For this meeting, please read the section of Chapter 7 about coinductive types, and try Exercise 4 from Exercise Sheet 4 of the material linked from the above page.