Philip Wadler 6842ac170b merge		2020-01-05 22:36:53 +00:00
..
icfp	added icfp tutorial	2019-12-28 16:47:01 -03:00
padova/2019	Made all internal URLs portable (using site.baseurl)	2019-07-15 17:39:12 +01:00
puc/2019	Move file to correct course location	2019-09-16 22:37:17 +02:00
tspl	Small changes to send-marks	2020-01-05 22:36:10 +00:00