From: Anders Mörtberg <mortberg@chalmers.se>
Date: Mon, 13 Apr 2015 17:41:25 +0000 (+0200)
Subject: Update README
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a170fec03bc141adf57f0259549c44475ed434ef;p=cubicaltt.git

Update README
---

diff --git a/README.md b/README.md
index 5e49a55..003d17a 100644
--- 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.