[ 2024 ] Kathrin's slides

scottish-pl-institute · Aug 2, 2024 · 0ab4bf9 · 0ab4bf9
1 parent f0bb0c1
commit 0ab4bf9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/2024-strathclyde/assets/slides/kathrin.pdf b/2024-strathclyde/assets/slides/kathrin.pdf
diff --git a/2024-strathclyde/index.md b/2024-strathclyde/index.md
@@ -314,6 +314,8 @@ The specialised courses are offered as two tracks running in parallel.
 
 **Mechanization of Binders**<img class="avatar" src="assets/kathrin_stark.jpg" />
 : **Lecturer:** [Kathrin Stark](https://www.k-stark.de/)
+
+  **Slides:** [Combined](assets/slides/kathrin.pdf)
 : <details open>
     <summary>Abstract</summary>
     Binders are ubiquitous when mechanising results about programming languages.