From: Anders Mörtberg <mortberg@chalmers.se>
Date: Tue, 14 Jul 2015 15:55:29 +0000 (+0200)
Subject: add link to hoq
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=13d24aa9021b336b52997e2e6c1a9a3ad8213447;p=cubicaltt.git

add link to hoq
---

diff --git a/README.md b/README.md
index 72c45fb..2ec15e9 100644
--- a/README.md
+++ b/README.md
@@ -69,6 +69,10 @@ 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)).
+
  * [A Cubical Approach to Synthetic Homotopy
    Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),
    Dan Licata, Guillaume Brunerie.