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

updated mock info

Browse source
This commit is contained in:
Philip Wadler 2019-11-01 12:03:15 +00:00
parent b4b0a4c02a
commit fbd43ff7a7
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -91,7 +91,7 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07.
<td>11</td>
<td><b>25 Nov</b> Quantitative (Wen) </td>
<td><b>27 Nov</b> (no class) </td>
<td><b>29 Nov</b> (mock exam) </td>
<td><b>29 Nov</b> Mock Exam </td>
</tr>
</table>
@ -144,6 +144,12 @@ but talk to me if you want to formalise something else.
* Optional project cw6 due 4pm Thursday 28 November (Week 11)
## Mock exam
10am-12noon Friday 29 November, AT 5.05 West Lab. An online
examination with the Agda proof assistant, under DICE to let you
practice for the exam and familiarise yourself with exam conditions.
## Midterm course feedback
You may offer feedback on the course at