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

tried to fix links in PUC

Browse source
This commit is contained in:
wadler 2019-05-08 17:39:08 -03:00
parent b2c9e3099d
commit f481c2edcb
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
tspl/PUC.lagda
View file

@ -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**.