update tspl home page (#941)

plfa · Nov 26, 2023 · 5bb8176 · 5bb8176
1 parent 71f3f9c
commit 5bb8176
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/courses/TSPL/2023/tspl.md b/courses/TSPL/2023/tspl.md
@@ -101,8 +101,8 @@ Each lecture is immediately followed by a tutorial.
  </tr>
  <tr>
   <td>11</td>
-  <td>**27 Nov** </td>
-  <td>**29 Nov** [Propositions as Types][p-as-t] </td>
+  <td>**27 Nov** [Propositions as Types][p-as-t] </td>
+  <td>**29 Nov** (no class) </td>
  </tr>
 </tbody>
 </table>