| When | At what time | What | Where |
|---|---|---|---|
| Mondays | 10am to 11am | Lecture | TL565 (Mary Dunn Wing) |
| Mondays | 11am to 12noon | Lab | LT1201 |
| Tuesdays | 2pm to 3pm | Lecture | TG227 |
We have 2 more slots in case you need extra labs to ask questions. So don't hesitate to request them!
We upload a (best effort) recording of the lectures on the youtube's playlist for the course.
You can also access last year's videos
The courseworks are submitted by creating a private git repository on the departmental gitlab and inviting me.
TBD
If you have issues, ask us during the labs. We will assume that you got this working.
Install Agda version 2.8.0 as a Haskell package following the instructions in the manual
Install version 2.3 by following the instructions on the agda stdlib repo.
If you do not want to use the recommended emacs and its editor mode shipped together with Agda you can look at the experimental vscode mode.
Note that (AFAIK) none of us use it so our ability to help you if you have issues may be limited.