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.
Wednesday, January 8th, 2019, 6:30-8:30pm
3050 SE Division, Suite 245 · Portland, OR
We'll be in the second floor conference room, not in the Collective Agency suite. It's just off the lobby area in the middle of the second floor. Elevator access is available.
RSVP at: https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/vnpwfrybccblb/