Merge branch 'dev' of github.com:plfa/plfa.github.io into dev

This commit is contained in:
wadler 2019-10-31 19:12:39 +00:00
commit ed14367a4f

View file

@ -72,13 +72,13 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07.
<tr> <tr>
<td>8</td> <td>8</td>
<td><b>4 Nov</b> (no class) </td> <td><b>4 Nov</b> (no class) </td>
<td><b>6 Nov</b> (tutorial only) </td> <td><b>6 Nov</b> Blame and Coercions </td>
<td><b>8 Nov</b> (no class) </td> <td><b>8 Nov</b> (no class) </td>
</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>
<td><b>13 Nov</b> (tutorial only) </td> <td><b>13 Nov</b> TAPL, ATAPL, and PFPL </td>
<td><b>15 Nov</b> (no class) </td> <td><b>15 Nov</b> (no class) </td>
</tr> </tr>
<tr> <tr>
@ -89,8 +89,8 @@ Lectures take place Monday, Wednesday, and Friday in AT 5.07.
</tr> </tr>
<tr> <tr>
<td>11</td> <td>11</td>
<td><b>25 Nov</b> (no class) </td> <td><b>25 Nov</b> Quantitative (Wen) </td>
<td><b>27 Nov</b> Quantitative (Wen) </td> <td><b>27 Nov</b> (no class) </td>
<td><b>29 Nov</b> (mock exam) </td> <td><b>29 Nov</b> (mock exam) </td>
</tr> </tr>
</table> </table>