From e857f7fc6fe08bbbe43106fc0a002a505aec7227 Mon Sep 17 00:00:00 2001 From: Orestis Melkonian Date: Wed, 18 Sep 2019 09:35:28 +0100 Subject: [PATCH] TSPL 2019: Correct timeslot --- courses/tspl/2019/tspl2019.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/courses/tspl/2019/tspl2019.md b/courses/tspl/2019/tspl2019.md index b3a85b05..ac894e91 100644 --- a/courses/tspl/2019/tspl2019.md +++ b/courses/tspl/2019/tspl2019.md @@ -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 @@ -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. -