From 13d24aa9021b336b52997e2e6c1a9a3ad8213447 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Tue, 14 Jul 2015 17:55:29 +0200 Subject: [PATCH] add link to hoq --- README.md | 4 ++++ 1 file changed, 4 insertions(+) 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. -- 2.34.1