| Number | Date Out | Date In | Links |
|---|---|---|---|
| Homework 1 | 28 Jan | Thurs 4 Feb, 11:59pm | handout, SML starter file |
| Homework 2 | 4 Feb | Tues 16 Feb, 10:30am | Agda file |
| Homework 3 | 17 Feb | Thurs 25 Feb, 10:30am | Agda file |
| Homework 4 | 25 Feb | Thurs 3 March, 11:59pm | Agda file |
| Homework 5 | 3 March | Tues 29 March, 10:30am | Agda file |
| Homework 6 | 30 March | Mon 11 Apr, 11:59pm | Agda file |
| Homework 7 | 14 Apr | Wed 27 Apr, 11:59pm | Agda file |
| Homework 8 | Th 28 Apr | Wed 11 May, 12pm | Library code, Agda file |