Categorical Logic 2009–10
Principal lecturer: Dr Samuel Staton Taken by: MPhil ACS Syllabus
Exercises
Agda
The Agda language is available here and is already installed on the MPhil machines.
You may like to read these Agda notes by Ulf Norell.
There is also a guide to Unicode input for the Agda emacs mode.
I will put sample source code and exercises in this
directory.
Exams
- 25% of the marks for this course will be awarded for completing the Agda exercises.
You need to complete these assessed exercises by Friday 12th March.
- 75% of the marks will be given for a take-home exam which will be set on Tuesday 27th April. You will have a week to complete it.
|