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

fixed call to bash in Assignments

Browse source
This commit is contained in:
wadler 2019-10-09 10:49:15 +01:00
parent d8a42e68f9
commit 2aeb096158
3 changed files with 21 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -20,7 +20,7 @@ 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 ```bash
submit tspl cw1 Assignment1.lagda.md submit tspl cw1 Assignment1.lagda.md
``` ```
Please ensure your files execute correctly under Agda! Please ensure your files execute correctly under Agda!

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

@ -20,7 +20,7 @@ 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 ```bash
submit tspl cw2 Assignment2.lagda.md submit tspl cw2 Assignment2.lagda.md
``` ```
Please ensure your files execute correctly under Agda! Please ensure your files execute correctly under Agda!

38
courses/tspl/2019/tspl2019.md
View file

@ -52,43 +52,43 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07. (Room provisional.
<tr> <tr>
<td>5</td> <td>5</td>
<td><b>14 Oct</b> <a href="{{ site.baseurl }}/Lists/">Lists</a></td> <td><b>14 Oct</b> <a href="{{ site.baseurl }}/Lists/">Lists</a></td>
<td><b>16 Oct</b> <!-- (tutorial only) --></td> <td><b>16 Oct</b> <a href="{{ site.baseurl }}/Lambda/">Lambda</a>
<td><b>18 Oct</b> <!-- <a href="{{ site.baseurl }}/Lists/">Lists</a> --></td> <td><b>18 Oct</b> <a href="{{ site.baseurl }}/Properties/">Properties</a>
</tr> </tr>
<tr> <tr>
<td>6</td> <td>6</td>
<td><b>21 Oct</b> <!-- <a href="{{ site.baseurl }}/Lambda/">Lambda</a> --></td> <td><b>21 Oct</b> <a href="{{ site.baseurl }}/DeBruijn/">DeBruijn</a>
<td><b>23 Oct</b> <!-- (no class) --></td> <td><b>23 Oct</b> <a href="{{ site.baseurl }}/More/">More</a>
<td><b>25 Oct</b> <!-- <a href="{{ site.baseurl }}/Properties/">Properties</a> --></td> <td><b>25 Oct</b> <a href="{{ site.baseurl }}/Inference/">Inference</a>
</tr> </tr>
<tr> <tr>
<td>7</td> <td>7</td>
<td><b>28 Oct</b> <!-- <a href="{{ site.baseurl }}/DeBruijn/">DeBruijn</a> --></td> <td><b>28 Oct</b> <a href="{{ site.baseurl }}/Untyped/">Untyped</a>
<td><b>30 Oct</b> <!-- <a href="{{ site.baseurl }}/More/">More</a> --></td> <td><b>30 Oct</b> (to be decided)
<td><b>1 Nov</b> <!-- <a href="{{ site.baseurl }}/Inference/">Inference</a> --></td> <td><b>1 Nov</b> (no class)
</tr> </tr>
<tr> <tr>
<td>8</td> <td>8</td>
<td><b>4 Nov</b> <!-- (no class) --></td> <td><b>4 Nov</b> (no class)
<td><b>6 Nov</b> <!-- (tutorial only) --></td> <td><b>6 Nov</b> (tutorial only)
<td><b>8 Nov</b> <!-- <a href="{{ site.baseurl }}/Untyped/">Untyped</a> --></td> <td><b>8 Nov</b> (no class)
</tr> </tr>
<tr> <tr>
<td>9</td> <td>9</td>
<td><b>11 Nov</b> <!-- (no class) --></td> <td><b>11 Nov</b> (no class)
<td><b>13 Nov</b> <!-- (tutorial only) --></td> <td><b>13 Nov</b> (tutorial only)
<td><b>15 Nov</b> <!-- (no class) --></td> <td><b>15 Nov</b> (no class)
</tr> </tr>
<tr> <tr>
<td>10</td> <td>10</td>
<td><b>18 Nov</b> <!-- (no class) --></td> <td><b>18 Nov</b> (no class)
<td><b>20 Nov</b> <!-- Propositions as Types --></td> <td><b>20 Nov</b> Propositions as Types
<td><b>22 Nov</b> <!-- (no class) --></td> <td><b>22 Nov</b> (no class)
</tr> </tr>
<tr> <tr>
<td>11</td> <td>11</td>
<td><b>25 Nov</b> <!-- (no class) --></td> <td><b>25 Nov</b> (no class)
<td><b>27 Nov</b> <!-- Quantitative (Wen)--></td> <td><b>27 Nov</b> Quantitative (Wen)
<td><b>29 Nov</b> (mock exam)</td> <td><b>29 Nov</b> (mock exam)</td>
</tr> </tr>
</table> </table>