readme

mortberg · Oct 22, 2016 · 01923c6 · 01923c6
1 parent 594a22a
commit 01923c6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -131,8 +131,8 @@ References and notes
  * HoTT book and webpage:
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
 
- * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf)
-   - Old version of the typing rules of the system. See
+ * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - 
+   Old version of the typing rules of the system. See
    [this](http://www.cse.chalmers.se/~coquand/face.pdf) for a
    variation using isomorphisms instead of equivalences.