martinescardo
diff --git a/‎HoTT/HoTTEST_Lecture_2.pdf
11.7 MB b/‎HoTT/HoTTEST_Lecture_2.pdf
11.7 MB
diff --git a/‎HoTT/README.md
+1 b/‎HoTT/README.md
+1
@@ -1,6 +1,7 @@
 ## HoTT materials and exercises
 
  * [HoTT Lecture 1](HoTTEST_Lecture_1.pdf) ([Paige North](https://paigenorth.github.io/))
+ * [HoTT Lecture 2](HoTTEST_Lecture_2.pdf) ([Paige North](https://paigenorth.github.io/))
  * [Worksheets](Worksheets/)
  * [Lecture Q&A](Q-and-A/)