We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 863ced3 commit 90476dfCopy full SHA for 90476df
HoTT/README.md
@@ -2,7 +2,7 @@
2
3
* [HoTT Lecture 1](HoTTEST_Lecture_1.pdf) ([Paige North](https://paigenorth.github.io/))
4
* [HoTT Lecture 2](HoTTEST_Lecture_2.pdf) ([Paige North](https://paigenorth.github.io/))
5
- * [HoTT Lecture 3](HoTTEST_Lecture_2.pdf) ([Paige North](https://paigenorth.github.io/))
+ * [HoTT Lecture 3](HoTTEST_Lecture_3.pdf) ([Paige North](https://paigenorth.github.io/))
6
* [Worksheets](Worksheets/)
7
* [Lecture Q&A](Q-and-A/)
8
0 commit comments