update README

diff --git a/README.md b/README.md
index 48acfff4d0f1bdc047ed163a2d078fb527f06b68..72c45fbcb748668dbc5351a9942f70b2ba25a281 100644 (file)
--- a/README.md
+++ b/README.md
@@ -69,9 +69,6 @@ References and notes
    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)
-
  * [A Cubical Approach to Synthetic Homotopy
    Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),
    Dan Licata, Guillaume Brunerie.