michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

updated Exam to remove mock

Browse source
This commit is contained in:
Philip Wadler 2019-12-09 12:43:59 +00:00
parent 88ce889159
commit a8eaea3e47
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
courses/tspl/2019/Exam.lagda.md
View file

@ -1,5 +1,5 @@
---
title : "Exam: TSPL Mock Exam file"
title : "Exam: TSPL Exam file"
layout : page
permalink : /TSPL/2019/Exam/
---
@ -44,8 +44,6 @@ Remember to indent all code by two spaces.
### (b)
### (c)
## Problem 2

2
courses/tspl/2019/tspl2019.md
View file

@ -145,7 +145,7 @@ 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
Submit the optional project by running
``` bash
submit tspl essay Essay.lagda.md
```