instructions for essay

This commit is contained in:
Philip Wadler 2019-11-19 12:51:59 +00:00
parent 345d422605
commit fd35c7b992

View file

@ -145,6 +145,11 @@ but talk to me if you want to formalise something else.
* Optional project cw6 due 4pm Thursday 28 November (Week 11)
Submit the assignment by running
``` bash
submit tspl essay Essay.lagda.md
```
## Mock exam
10am-12noon Friday 29 November, AT 5.05 West Lab. An online