Update README

diff --git a/README.md b/README.md
index 0f15562da1682b3576d3402fde8770d568910ca2..5e49a55a332c04972f8387f05dcb22d668c25fc5 100644 (file)
--- a/README.md
+++ b/README.md
@@ -60,7 +60,7 @@ References and notes
    typing rules of the system
 
  * [Lecture Notes on Cubical
-   sets](http://www.cse.chalmers.se/~coquand/course1.pdf)
+   sets](http://www.cse.chalmers.se/~coquand/course3.pdf)
 
  * Voevodsky's page on [univalent
    foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html)

diff --git a/examples/helix.ctt b/examples/helix.ctt
index df89a0b5908c97082b41187149ed26f2b091b892..c6ee49e1cd384bb88c24ac875f70e63cb2778eca 100644 (file)
--- a/examples/helix.ctt
+++ b/examples/helix.ctt
@@ -1,7 +1,6 @@
 module helix where\r
 \r
 import circle\r
-import hedberg\r
 import retract\r
 \r
 encode (x:S1) (p:Id S1 base x) : helix x = subst S1 helix base x p zeroZ\r