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

TSPL 2019: Correct timeslot

Browse source
This commit is contained in:
Orestis Melkonian 2019-09-18 09:35:28 +01:00
parent 4e3a2734dd
commit e857f7fc6f
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