session04.md

Session 4 (Thursday March 16th)

1. Andreas Lööw will tell us about codatatypes. Presentation

2. Discuss exercises from session 3: Exercises.

3. Syllabus

   • Schedule topic proposals so far.
   • Choose what to read next time, and someone to present it.

For next time

• Do exercises for session 4. Exercises.