[ 2024 ] Bob Thursday

scottish-pl-institute · Aug 1, 2024 · eb2fdf3 · eb2fdf3
1 parent eec1249
commit eb2fdf3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/2024-strathclyde/assets/slides/bob-3.pdf b/2024-strathclyde/assets/slides/bob-3.pdf
diff --git a/2024-strathclyde/index.md b/2024-strathclyde/index.md
@@ -297,7 +297,7 @@ The specialised courses are offered as two tracks running in parallel.
 **Type Theory & Implicit Complexity**<img class="avatar" src="assets/bob_atkey.jpeg" />
 : **Lecturer:** [Bob Atkey](https://bentnib.org/)
 
-  **Slides:** [Tuesday](assets/slides/bob-1.pdf), [Wednesday](assets/slides/bob-2.pdf)
+  **Slides:** [Tuesday](assets/slides/bob-1.pdf), [Wednesday](assets/slides/bob-2.pdf), [Thursday](assets/slides/bob-3.pdf)
 : <details open>
     <summary>Abstract</summary>
     Implicit Computational Complexity is concerned with the