From 01923c62e959b1896001936aae2f2963157bf51f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Sat, 22 Oct 2016 11:59:56 -0400 Subject: [PATCH] readme --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 9f74292..45d8d24 100644 --- a/README.md +++ b/README.md @@ -131,8 +131,8 @@ References and notes * HoTT book and webpage: [http://homotopytypetheory.org/](http://homotopytypetheory.org/) - * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - - Old version of the typing rules of the system. See + * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - + Old version of the typing rules of the system. See [this](http://www.cse.chalmers.se/~coquand/face.pdf) for a variation using isomorphisms instead of equivalences. -- 2.34.1