Added slides.

uu-afp · Jul 6, 2023 · b6dcee9 · b6dcee9
1 parent 63bd36a
commit b6dcee9
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/schedule.html b/schedule.html
@@ -183,7 +183,7 @@ <h2>Schedule</h2></br>
  <tr>
  <td></td>
  <td>14:00</td>
- <td><i>Information flow</i> (Ivo)
+ <td><i>Information flow</i> (Ivo) - <a href="slides/06-mac.pdf">slides</a></td>
  <td>BBG 079</td>
  </tr>
 
@@ -211,7 +211,7 @@ <h2>Schedule</h2></br>
  <tr>
  <td>Thursday 6/7</td>
  <td>09:00</td>
- <td><i>Type families</i> (Gabi) </td>
+ <td><i>Type families</i> (Gabi) - <a href="slides/07-type-families.pdf">slides</a></td>
  <td>BBG 169</td>
  </tr>
 
@@ -239,7 +239,7 @@ <h2>Schedule</h2></br>
  <tr>
  <td></td>
  <td>14:00</td>
- <td><i>Accelerate</i> (Ivo)
+ <td><i>Accelerate</i> (Ivo) <a href="slides/08-accelerate.pdf">slides</a></td>
  <td>BBG 169</td>
  </tr>
 

diff --git a/slides/06-mac.pdf b/slides/06-mac.pdf
diff --git a/slides/07-type-families.pdf b/slides/07-type-families.pdf
diff --git a/slides/08-accelerate.pdf b/slides/08-accelerate.pdf