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 |
|
Wen Kokke
|
5d022d7014
|
Removed TSPL 2018, PUC 2019, Padova 2019, and ICFP 2019 from courses.
|
2020-07-15 14:05:40 +01:00 |
|
Philip Wadler
|
6842ac170b
|
merge
|
2020-01-05 22:36:53 +00:00 |
|
Philip Wadler
|
784f99a406
|
Small changes to send-marks
|
2020-01-05 22:36:10 +00:00 |
|
wadler
|
a77284a415
|
added icfp tutorial
|
2019-12-28 16:47:01 -03: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 |
|
Wen Kokke
|
3e28965c09
|
Update make_assignment script to place exercises from each chapter in their own module, import the chapter and its dependencies, hiding duplicate definitions.
|
2019-10-24 21:43:17 +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 |
|
Wen Kokke
|
7f99b5f785
|
Added script for sending marks.
|
2019-10-21 16:23:05 +01:00 |
|
Wen Kokke
|
93a623ee85
|
Moved make_assignment to TSPL subdirectory.
|
2019-10-21 15:48:00 +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 |
|