michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
csci8980-f21/courses/tspl/2019
History
wadler 27006a8181 fixed Assignment4
2021-08-28 18:28:04 +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 Assignment4 2021-08-28 18:28:04 +01:00
Exam.lagda.md small changes: Subtyping, Inference, Assignment 4, Exam 2021-08-28 18:25:22 +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