From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Sat, 22 Oct 2016 15:59:56 +0000 (-0400)
Subject: readme
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=01923c62e959b1896001936aae2f2963157bf51f;p=cubicaltt.git

readme
---

diff --git a/README.md b/README.md
index 9f74292..45d8d24 100644
--- 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.