Added slides.

uu-afp · Jul 9, 2024 · 5ca1b45 · 5ca1b45
1 parent d36320f
commit 5ca1b45
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/schedule.html b/schedule.html
@@ -109,7 +109,7 @@ <h2>Schedule</h2></br>
  <tr>
  <td>Tuesday 9/7</td>
  <td>09:00</td>
- <td><i>Applicative functors</i> (David)</td>
+ <td><a href="slides/04-applicative.pdf">Applicative functors</a> (David)</td>
  <td>BBG 061</td>
  </tr>
 
@@ -137,7 +137,7 @@ <h2>Schedule</h2></br>
  <tr>
  <td></td>
  <td>14:00</td>
- <td><i>GADTs</i> (Jacco)</td>
+ <td><a href="slides/04-gadts.pdf">GADTs</a> (Jacco)</td>
  <td>BBG 061</td>
  </tr>