added description of marking

courses/tspl/2019/tspl2019.md

@@ -93,7 +93,27 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07. (Room provisional.
  </tr>
 </table>
 
-## Assignments
+
+## Assessment
+
+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>
+
+Students are expected to get 3--5 points each (out of 5) on the
+courseworks. Students who undertake the coursework and mock exam typically
+get 50 points (out of 50) on the final exam. In order to conform with
+the University's Common Marking Scheme, students may typically
+get only 10 points (out of 25) on the optional project.  Attempting
+the optional project may not be a good use of time compared to other
+courses where there are easier marks to be had. 
+
+
+## Coursework
 
 For instructions on how to set up Agda for PLFA see [Getting Started]({{ site.baseurl }}/GettingStarted/).
 
@@ -112,6 +132,15 @@ submit tspl cwN AssignmentN.lagda
 ```
 where N is the number of the assignment.
 
+
+## Optional project
+
+The optional project is to take a research paper and formalise all or
+part of it in Agda.  I suggest formalising the paper
+[here](http://homepages.inf.ed.ac.uk/wadler/topics/blame.html#coercions),
+but talk to me if you want to formalise something else.
+
+
 <!-- 
 
 ## Mock exam