Added Gabi's slides.

uu-afp · Jul 16, 2024 · e4fa101 · e4fa101
1 parent 448721a
commit e4fa101
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/schedule.html b/schedule.html
@@ -250,7 +250,7 @@ <h2>Schedule</h2></br>
     <tr>
       <td></td>
       <td>14:00</td>
-      <td><i>Type families</i> (Gabriele)</td>
+      <td><a href="slides/07-type-families.pdf">Type families</a> (Gabriele)</td>
       <td>BBG 165</td>
     </tr>