From: Anders Mörtberg <mortberg@chalmers.se>
Date: Fri, 3 Jul 2015 08:02:49 +0000 (+0200)
Subject: Update README
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=19ab11cc9b2ffe5b62d72806b3ee023fb84b4c55;p=cubicaltt.git

Update README
---

diff --git a/README.md b/README.md
index 8e983d0..48acfff 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,7 @@ funExt (A : U) (B : A -> U) (f g : (x : A) -> B x)
        Id ((y : A) -> B y) f g = <i> \(a : A) -> (p a) @ i
 ```
 
-For more examples, see "examples/demo.ctt".
+For more examples, see "examples/demo.ctt" and "examples/aim.ctt".
 
 
 Install
@@ -59,9 +59,16 @@ References and notes
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
 
  * [Cubical Type
-   Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - The
+   Theory](http://www.cse.chalmers.se/~coquand/rules7.pdf) - The
    typing rules of the system
 
+ * [Internal version of the uniform Kan filling
+   condition](http://www.cse.chalmers.se/~coquand/shape.pdf)
+
+ * [A category of cubical
+   sets](http://www.cse.chalmers.se/~coquand/vv.pdf) - main
+   definitions towards a formalization
+
  * [Lecture Notes on Cubical
    sets](http://www.cse.chalmers.se/~coquand/course3.pdf)