Course pages 2012–13
Category Theory and Logic
Assessed exercises in Agda.
The Agda assessed exercises are in exam2012.agda. They were set on 15 November 2012 and they are due 25 November 2012 (email to me). Please hand a paper copy to Katherine by 27 November. Contact Katherine for further details about the deadlines and submission procedures.
Agda can be accessed within Emacs on the MPhil machines. There is more information about agda on the materials page.