You are here:
(14 Jun 2013, WouterSwierstra)
%STARTINCLUDE% ---++ Latest news *2013-06-11* Agda exercises now online. *2013-05-16* Added a second [[Assignments][set of exercises]]. Updated the CourseSchedule with slides, coaching sessions, and a presentation schedule. *2013-05-07* Added the first [[Assignments][exercise set]] *2013-05-06* Update verification projects and uploaded slides for the first two lectures. *2013-02-22* Updated homepage for new seminar. -- Main.WouterSwierstra - 22 Feb 2013
ore topic actions
Topic revision: r31 - 14 Jun 2013, WouterSwierstra
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?