From: coquand <coquand@chalmers.se>
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)