From 50bb14874983b394d30b46a2d2bf95191c42c8ba Mon Sep 17 00:00:00 2001 From: Anders Date: Mon, 13 Apr 2015 15:03:42 +0200 Subject: [PATCH] Fix README --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 2.34.1