Update README

diff --git a/README.md b/README.md
index 5e49a55a332c04972f8387f05dcb22d668c25fc5..003d17afde72e0b63d5f3ba9acff9bf3698b2a23 100644 (file)
--- a/README.md
+++ b/README.md
@@ -55,6 +55,12 @@ 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)
+
+ * HoTT book and webpage:
+   [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
+
  * [Cubical Type
    Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - The
    typing rules of the system
@@ -62,12 +68,6 @@ References and notes
  * [Lecture Notes on Cubical
    sets](http://www.cse.chalmers.se/~coquand/course3.pdf)
 
- * Voevodsky's page on [univalent
-   foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html)
-
- * HoTT book and webpage:
-   [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
-
  * [A Cubical Approach to Synthetic Homotopy
    Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),
    Dan Licata, Guillaume Brunerie.