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

fixed typo

Browse source
This commit is contained in:
wadler 2019-09-15 18:03:14 +01:00
parent cf1bdd9071
commit 42492996c9
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -99,10 +99,10 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07. (Room provisional.
Assesment for the course is as follows.
* five courseworks, five points each, including a take-home mock exam
(the "mock mock"), <b>25&percnt;</b>
* optional project, take a research paper and formalise its development, <b>25&percnt;</b>
* mock exam, online with Agda proof assistant under exam conditions, <b>0&percnt;</b>
* final exam, online with Agda proof assistant, <b>50&percnt;</b>
(the "mock mock"), <b>25%</b>
* optional project, take a research paper and formalise its development, <b>25%</b>
* mock exam, online with Agda proof assistant under exam conditions, <b>0%</b>
* final exam, online with Agda proof assistant, <b>50%</b>
Students are expected to get 3--5 points each (out of 5) on the
courseworks. Students who undertake the coursework and mock exam typically