Wen Kokke 9691c05909 Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.		2021-07-14 16:50:36 +01:00
..
Assignment1.lagda.md	Upgrade to Agda v2.6.1. (#492)	2020-07-19 19:43:20 +01:00
Assignment2.lagda.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
Assignment3.lagda.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
Assignment4.lagda.md	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00
Exam.lagda.md	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00
Instructions.pdf	added exam instructions	2019-11-15 11:00:44 +00:00
Instructions.tex	added exam instructions	2019-11-15 11:00:44 +00:00
Mock1.pdf	added mocks	2019-11-15 10:55:08 +00:00
Mock1.tex	added mocks	2019-11-15 10:55:08 +00:00
Mock2.pdf	added mocks	2019-11-15 10:55:08 +00:00
Mock2.tex	added mocks	2019-11-15 10:55:08 +00:00
survey	TSPL survey	2019-10-31 17:24:54 +00:00
tspl-reviews-2019.pdf	fix typo	2020-08-07 09:04:38 +01:00
tspl2019.agda-lib	Move file to correct course location	2019-09-16 22:37:17 +02:00
tspl2019.md	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00