PDX Func Theory Track - Lambda Calculus

We'll be going through the MGS 2019 course on Lambda Calculus (http://www.duplavis.com/venanzio/mgs_lambda/index.html).

This meeting we'll finish our study of Chapter 7 of Constructing Infinity (linked from that site), with the section on Coinductive Types. We'll also go over Exercise Set 4. Which may only involve the first exercise, since Exercise 2 and 3 are already solved in the book, and we don't understand what Exercise 4 is asking for.