From f34f35af4e1c888638b16488c73a7df2c4d034b4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Tue, 14 Jul 2015 17:56:16 +0200 Subject: [PATCH] Fix list --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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), -- 2.34.1