This website requires JavaScript.
Explore
Help
Sign in
michael
/
csci8980-f21
Watch
1
Star
0
Fork
You've already forked csci8980-f21
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
8980
csci8980-f21
/
courses
/
tspl
History
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