michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added submit command to assignments

Browse source
This commit is contained in:
wadler 2019-10-04 18:24:56 +01:00
parent 4f7a16befb
commit 4c5f4f6d93
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
courses/tspl/2019/Assignment1.lagda.md
View file

@ -20,9 +20,13 @@ You don't need to do all of these, but should attempt at least a few.
Exercises labelled "(practice)" are included for those who want extra practice. Exercises labelled "(practice)" are included for those who want extra practice.
Submit your homework using the "submit" command. Submit your homework using the "submit" command.
``` bash
submit tspl cw1 Assignment1.lagda.md
```
Please ensure your files execute correctly under Agda! Please ensure your files execute correctly under Agda!
## Good Scholarly Practice. ## Good Scholarly Practice.
Please remember the University requirement as Please remember the University requirement as

3
courses/tspl/2019/Assignment2.lagda.md
View file

@ -20,6 +20,9 @@ You don't need to do all of these, but should attempt at least a few.
Exercises labelled "(practice)" are included for those who want extra practice. Exercises labelled "(practice)" are included for those who want extra practice.
Submit your homework using the "submit" command. Submit your homework using the "submit" command.
``` bash
submit tspl cw2 Assignment2.lagda.md
```
Please ensure your files execute correctly under Agda! Please ensure your files execute correctly under Agda!