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
Welcome to this seminar taking place in block 4 of the academic year 2012/2013
at Utrecht University.
Navigate by clicking the links in the bar on the left.