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

Merge pull request #408 from omelkonian/dev

Browse source 
TSPL 2019: Correct timeslot
This commit is contained in:
Philip Wadler 2019-09-18 09:43:42 +01:00 committed by GitHub
commit 0c7aa95b85
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -14,8 +14,8 @@ permalink : /TSPL/2019/
## Lectures
Lectures take place Monday, Wednesday, and Friday in AT 5.07. (Room provisional.)
* **9.00--9.50am** Lecture
* **10.00--10.50am** Tutorial
* **10.00--10.50am** Lecture
* **11.00--11.50am** Tutorial
<table>
<tr>
@ -110,7 +110,7 @@ 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.
courses where there are easier marks to be had.
## Coursework
@ -141,7 +141,7 @@ part of it in Agda. I suggest formalising the paper
but talk to me if you want to formalise something else.
<!--
<!--
## Mock exam