From 075ac89a6342c53ae6182d25fd971135798fe815 Mon Sep 17 00:00:00 2001 From: coquand Date: Tue, 8 Sep 2015 11:42:07 +0200 Subject: [PATCH] updated README --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d2129ad..d6aaf9c 100644 --- a/README.md +++ b/README.md @@ -59,8 +59,9 @@ References and notes [http://homotopytypetheory.org/](http://homotopytypetheory.org/) * [Cubical Type - Theory](http://www.cse.chalmers.se/~coquand/rules7.pdf) - The - typing rules of the system + Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - The + typing rules of the system. See [this](http://www.cse.chalmers.se/~coquand/face.pdf) + for a variation using isomorphisms instead of equivalences. * [Internal version of the uniform Kan filling condition](http://www.cse.chalmers.se/~coquand/shape.pdf) -- 2.34.1