diff --git a/courses/tspl/2019/tspl2019.md b/courses/tspl/2019/tspl2019.md index 79b32630..b9ad93cc 100644 --- a/courses/tspl/2019/tspl2019.md +++ b/courses/tspl/2019/tspl2019.md @@ -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