replace broken link to Intuitionistic Type Theory

steshaw · Dec 2, 2024 · 4a2f354 · 4a2f354
1 parent 2c329e0
commit 4a2f354
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/higher-type-theory/index.md b/higher-type-theory/index.md
@@ -14,7 +14,7 @@ title: Higher Type Theory
 ## Background
 
 - [Algebraic Topology](http://www.math.cornell.edu/~hatcher/AT/ATpage.html) — Allen Hatcher
-- [Intuitionistic Type Theory](http://www.csie.ntu.edu.tw/~b94087/ITT.pdf) — Per Martin-Löf's
+- [Intuitionistic Type Theory](https://web.archive.org/web/20201112015534/https://www.csie.ntu.edu.tw/~b94087/ITT.pdf) — Per Martin-Löf's
 
 
 ## Courses