Update README

diff --git a/README.md b/README.md
index c772ff027d606d3cce18dc786f29a6fa3064315f..dd14e2f1fc7c6b47ea5ef0116e8033facd4bcaa1 100644 (file)
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@ theory with:
   "examples/susp.ctt")
 
 Because of this it is not necessary to have a special file of
-primitives (like in [cubical](https://github.com/simhu/cubical), for
+primitives (like in [cubical](https://github.com/simhu/cubical)), for
 instance function extensionality is provable in the system by:
 
 ```
@@ -59,6 +59,9 @@ References and notes
    Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - The
    typing rules of the system
 
+ * [Lecture Notes on Cubical
+   sets](http://www.cse.chalmers.se/~coquand/course1.pdf)
+
  * Voevodsky's page on [univalent
    foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html)