diff --git a/2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf b/2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf new file mode 100644 index 0000000..c7d7f60 Binary files /dev/null and b/2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf differ diff --git a/README.md b/README.md index 633133c..d7e06c6 100644 --- 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