diff --git a/tspl/PUC.lagda b/tspl/PUC.lagda index 5802d1e5..b1301760 100644 --- a/tspl/PUC.lagda +++ b/tspl/PUC.lagda @@ -91,10 +91,10 @@ Lectures and tutorials take place Fridays and some Thursdays in 548L. For instructions on how to set up Agda for PLFA see [Getting Started](/GettingStarted/). -* [PUC-Assignment 1][PUC-Assignment1] due Friday 26 April. -* [PUC-Assignment 2][PUC-Assignment2] due Wednesday 22 May. -* [PUC-Assignment 3][PUC-Assignment3] due Wednesday 12 June. -* [PUC-Assignment 4][PUC-Assignment4] due Tuesday 25 June. +* [PUC-Assignment 1](/PUC-Assignment1/) due Friday 26 April. +* [PUC-Assignment 2](/PUC-Assignment2/) due Wednesday 22 May. +* [PUC-Assignment 3](/PUC-Assignment3/) due Wednesday 12 June. +* [PUC-Assignment 4](/PUC-Assignment4/) due Tuesday 25 June. * [Assignment 5](/tspl/Assignment5.pdf) due Tuesday 25 June. Use file [Exam][Exam]. Despite the rubric, do **all three questions**.