Agda exercises now online.
Added a second set of exercises. Updated the CourseSchedule with slides, coaching sessions, and a presentation schedule.
Added the first exercise set2013-05-06
Update verification projects and uploaded slides for the first two lectures.
Updated homepage for new seminar.
-- WouterSwierstra - 22 Feb 2013