Conor's Agda Course Materials
This is a dummy homepage, designed to stop nasty 403 errors from appearing in your browser when you surf up the course darcs repo. Your best bet is to download it, using
darcs get http://personal.cis.strath.ac.uk/~conor/pub/dtp
At the moment, the interesting file is
, but more and more interesting files will emerge in due course, given that a course is due.