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
..
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