The link to Voevodsky's webpage in README updated

diff --git a/README.md b/README.md
index cdb4a62d9d56e062d19c3ca2b0a3757753077168..d2129ad006384adc59a543b1d3180b9dcea378ca 100644 (file)
--- a/README.md
+++ b/README.md
@@ -52,8 +52,8 @@ directory will be taken as the search path for the imports.
 References and notes
 --------------------
 
- * Voevodsky's page on [univalent
-   foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html)
+ * Voevodsky's lectures and texts on [univalent
+   foundations](http://www.math.ias.edu/vladimir/home)
 
  * HoTT book and webpage:
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)