csci8980-f21/courses/tspl
2021-07-14 16:50:36 +01:00
..
2019 Fixed Agda errors; fixed css errors which resulted in the incorrect font being used. 2021-07-14 16:50:36 +01:00
make_assignment.sh 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
send_marks.sh Small changes to send-marks 2020-01-05 22:36:10 +00:00