From e4fa101eb41867c380dd220d586403a7fa09000c Mon Sep 17 00:00:00 2001
From: Wouter Swierstra <w.s.swierstra@uu.nl>
Date: Tue, 16 Jul 2024 10:58:38 +0200
Subject: [PATCH] Added Gabi's slides.

---
 schedule.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/schedule.html b/schedule.html
index 438a3af..eccfae4 100644
--- 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>