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

Update courses

Browse source
This commit is contained in:
wadler 2019-10-23 11:07:07 +01:00
parent 22edd31564
commit 59796a6214
2 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -53,18 +53,19 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07.
<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> <a href="{{ site.baseurl }}/Lambda/">Lambda</a></td> <td><b>16 Oct</b> <a href="{{ site.baseurl }}/Lambda/">Lambda</a></td>
<td><b>18 Oct</b> <a href="{{ site.baseurl }}/Properties/">Properties</a></td> <td><b>18 Oct</b> <a href="{{ site.baseurl }}/Lambda/">Lambda</a> and
<a href="{{ site.baseurl }}/Properties/">Properties</a></td>
</tr> </tr>
<tr> <tr>
<td>6</td> <td>6</td>
<td><b>21 Oct</b> <a href="{{ site.baseurl }}/DeBruijn/">DeBruijn</a></td> <td><b>21 Oct</b> <a href="{{ site.baseurl }}/Properties/">Properties</a></td>
<td><b>23 Oct</b> <a href="{{ site.baseurl }}/More/">More</a></td> <td><b>23 Oct</b> <a href="{{ site.baseurl }}/DeBruijn/">DeBruijn</a></td>
<td><b>25 Oct</b> <a href="{{ site.baseurl }}/Inference/">Inference</a></td> <td><b>25 Oct</b> <a href="{{ site.baseurl }}/More/">More</a></td>
</tr> </tr>
<tr> <tr>
<td>7</td> <td>7</td>
<td><b>28 Oct</b> <a href="{{ site.baseurl }}/Untyped/">Untyped</a></td> <td><b>28 Oct</b> <a href="{{ site.baseurl }}/Inference/">Inference</a></td>
<td><b>30 Oct</b> (to be decided) </td> <td><b>30 Oct</b> <a href="{{ site.baseurl }}/Untyped/">Untyped</a></td>
<td><b>1 Nov</b> (no class) </td> <td><b>1 Nov</b> (no class) </td>
</tr> </tr>
<tr> <tr>

1
src/plfa/part2/DeBruijn.lagda.md
View file

@ -1375,3 +1375,4 @@ This chapter uses the following unicode:
₆ U+2086 SUBSCRIPT SIX (\_6) ₆ U+2086 SUBSCRIPT SIX (\_6)
₇ U+2087 SUBSCRIPT SEVEN (\_7) ₇ U+2087 SUBSCRIPT SEVEN (\_7)
≠ U+2260 NOT EQUAL TO (\=n) ≠ U+2260 NOT EQUAL TO (\=n)