From: Anders Mörtberg <mortberg@chalmers.se>
Date: Tue, 14 Jul 2015 15:56:16 +0000 (+0200)
Subject: Fix list
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=f34f35af4e1c888638b16488c73a7df2c4d034b4;p=cubicaltt.git

Fix list
---

diff --git a/README.md b/README.md
index 2ec15e9..cdb4a62 100644
--- a/README.md
+++ b/README.md
@@ -69,9 +69,9 @@ References and notes
    sets](http://www.cse.chalmers.se/~coquand/vv.pdf) - main
    definitions towards a formalization
 
-* [hoq](https://github.com/valis/hoq/) - A language based on homotopy
-  type theory with an interval (documentation available
-  [here](https://docs.google.com/viewer?a=v&pid=forums&srcid=MTgzMDE5NzAyNTk5NDUxMjg3MDABMDQ5MTM3MjY5Nzc5MzY3ODYzNjABT3A0QWRIempiZTBKATAuMQEBdjI)).
+ * [hoq](https://github.com/valis/hoq/) - A language based on homotopy
+   type theory with an interval (documentation available
+   [here](https://docs.google.com/viewer?a=v&pid=forums&srcid=MTgzMDE5NzAyNTk5NDUxMjg3MDABMDQ5MTM3MjY5Nzc5MzY3ODYzNjABT3A0QWRIempiZTBKATAuMQEBdjI)).
 
  * [A Cubical Approach to Synthetic Homotopy
    Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),