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 |
|
Wen Kokke
|
2c82ce21da
|
Switch to Hakyll as the build system for PLFA (#540)
|
2020-10-23 08:45:49 +02:00 |
|
Wen Kokke
|
f06137a621
|
Added fix-whitespace.yaml and fixed whitespace.
|
2020-08-19 21:54:32 +02:00 |
|
wadler
|
91a2dd4bf8
|
merge
|
2020-08-07 09:05:24 +01:00 |
|
wadler
|
daac6bfe14
|
fix typo
|
2020-08-07 09:04:38 +01:00 |
|
Wen Kokke
|
0615638d66
|
Upgrade to Agda v2.6.1. (#492)
|
2020-07-19 19:43:20 +01:00 |
|
Philip Wadler
|
a8eaea3e47
|
updated Exam to remove mock
|
2019-12-09 12:43:59 +00:00 |
|
Philip Wadler
|
88ce889159
|
merge
|
2019-11-19 12:52:32 +00:00 |
|
Philip Wadler
|
fd35c7b992
|
instructions for essay
|
2019-11-19 12:51:59 +00:00 |
|
wadler
|
26ead770bf
|
added exam instructions
|
2019-11-15 11:00:44 +00:00 |
|
Philip Wadler
|
345d422605
|
added mocks
|
2019-11-15 10:55:08 +00:00 |
|
Philip Wadler
|
b885666c03
|
added recursive types
|
2019-11-13 09:54:27 +00:00 |
|
wadler
|
60090ed190
|
updated TSPL page
|
2019-11-12 21:01:32 +00:00 |
|
wadler
|
0022dd4b3a
|
updated TSPL page
|
2019-11-12 20:59:49 +00:00 |
|
wadler
|
75bb34c6f9
|
updated TSPL page
|
2019-11-12 20:58:35 +00:00 |
|
wadler
|
cbfd7d3be9
|
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
|
2019-11-06 11:29:54 +00:00 |
|
wadler
|
f12e45117e
|
added citation to jfp paper
|
2019-11-06 11:29:43 +00:00 |
|
Philip Wadler
|
fbd43ff7a7
|
updated mock info
|
2019-11-01 12:03:15 +00:00 |
|
wadler
|
ed14367a4f
|
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
|
2019-10-31 19:12:39 +00:00 |
|
Philip Wadler
|
b4b0a4c02a
|
merge
|
2019-10-31 19:12:04 +00:00 |
|
Philip Wadler
|
2e9c3c28d3
|
update TSPL 2019 page
|
2019-10-31 19:11:34 +00:00 |
|
wadler
|
57a380f402
|
TSPL survey
|
2019-10-31 17:24:54 +00:00 |
|
wadler
|
c0d9e7851e
|
Updated exercise in Lists and Assignment3
|
2019-10-28 16:29:01 +00:00 |
|
wadler
|
749e6a9e57
|
renamed exercises
|
2019-10-28 12:00:38 +00:00 |
|
wadler
|
d2ff9564ce
|
added midterm survey
|
2019-10-28 11:26:49 +00:00 |
|
wadler
|
1f624c0b45
|
Update year on Assignment 4 link
|
2019-10-26 10:10:40 +01:00 |
|
wadler
|
4dd9f2e37e
|
Assignment 4
|
2019-10-25 18:55:14 +01:00 |
|
Philip Wadler
|
d2e53aaf73
|
Assignment 4
|
2019-10-25 18:53:46 +01:00 |
|
wadler
|
8656f2e7af
|
merge
|
2019-10-25 11:14:51 +01:00 |
|
wadler
|
59796a6214
|
Update courses
|
2019-10-23 11:07:07 +01:00 |
|
Orestis Melkonian
|
9604413f20
|
Add myself as a teaching assistant for TSPL'19
|
2019-10-22 11:30:18 +01:00 |
|
Philip Wadler
|
d13da5e92c
|
fixed merge on Lists
|
2019-10-14 15:54:59 +01:00 |
|
wadler
|
7daec17224
|
actually publish Assignment 3
|
2019-10-14 12:17:18 +01:00 |
|
wadler
|
8c893ca669
|
Assignment 3
|
2019-10-14 12:02:08 +01:00 |
|
wadler
|
2aeb096158
|
fixed call to bash in Assignments
|
2019-10-09 10:49:15 +01:00 |
|
wadler
|
4c5f4f6d93
|
added submit command to assignments
|
2019-10-04 18:24:56 +01:00 |
|
Philip Wadler
|
97cbdb15af
|
Added deadline for optional project
|
2019-10-03 10:31:03 +01:00 |
|
wadler
|
4f7a16befb
|
fixed tspl course page
|
2019-10-02 11:48:42 +01:00 |
|
Mo Mirza
|
4b19cbdbf6
|
Rename module and titles for assignment 2
|
2019-10-02 11:26:21 +01:00 |
|
wadler
|
55ecfb595b
|
Added Assignment2
|
2019-09-30 12:24:25 +01:00 |
|
wadler
|
0b3f2d8c0c
|
update course times
|
2019-09-19 12:39:47 +01:00 |
|
Orestis Melkonian
|
e857f7fc6f
|
TSPL 2019: Correct timeslot
|
2019-09-18 09:35:28 +01:00 |
|
Mo Mirza
|
3f259ae750
|
Move file to correct course location
|
2019-09-16 22:37:17 +02:00 |
|
wadler
|
06f8d7f72f
|
fixed typo
|
2019-09-15 18:05:12 +01:00 |
|
wadler
|
42492996c9
|
fixed typo
|
2019-09-15 18:03:14 +01:00 |
|
wadler
|
cf1bdd9071
|
added description of marking
|
2019-09-15 18:01:15 +01:00 |
|
wadler
|
1b3b6f7cf1
|
minor fixes to assignments
|
2019-09-15 17:36:16 +01:00 |
|
wadler
|
bf8b03c67f
|
fixes to TSPL 2019
|
2019-09-15 17:15:46 +01:00 |
|
Philip Wadler
|
db46fd1539
|
added TSPL 2019
|
2019-09-15 16:52:52 +01:00 |
|