add lecture 1 2024 Minn

UniMath · Jul 29, 2024 · 17b13d7 · 17b13d7
1 parent 1f02b7a
commit 17b13d7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf b/2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf
diff --git a/README.md b/README.md
@@ -2,7 +2,9 @@
 
 ## School on Univalent Mathematics, Minneapolis, 2024
 
-TBA
+### Lecture 1: Type Theory (by Paige Randall North)
+- [Lecture](2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf)
+
 
 ## School on Univalent Mathematics, Cortona, 2022