Seminar on Dependently Typed Programming
Added a second set of exercises
. Updated the CourseSchedule
with slides, coaching sessions, and a presentation schedule.
Added the first exercise set
Update verification projects and uploaded slides for the first two lectures.
Updated homepage for new seminar.
- 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.