From: Anders Date: Mon, 13 Apr 2015 13:03:42 +0000 (+0200) Subject: Fix README X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=50bb14874983b394d30b46a2d2bf95191c42c8ba;p=cubicaltt.git Fix README --- diff --git a/README.md b/README.md index 7aa0b44..c772ff0 100644 --- a/README.md +++ b/README.md @@ -55,9 +55,9 @@ directory will be taken as the search path for the imports. References and notes -------------------- - * [A Cubical Type - Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - - The typing rules of the system + * [Cubical Type + Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - The + typing rules of the system * Voevodsky's page on [univalent foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html) @@ -66,7 +66,7 @@ References and notes [http://homotopytypetheory.org/](http://homotopytypetheory.org/) * [A Cubical Approach to Synthetic Homotopy - Theory][http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf), + Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf), Dan Licata, Guillaume Brunerie. * [Type Theory in