From: coquand Date: Tue, 8 Sep 2015 09:42:07 +0000 (+0200) Subject: updated README X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=075ac89a6342c53ae6182d25fd971135798fe815;p=cubicaltt.git updated README --- 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)