readme

diff --git a/README.md b/README.md
index 45d8d242e49a9240d9d49fd15529c92adaa82f31..11f6cb121d8f3ebf084b6596a2bedd0a0a825f38 100644 (file)
--- a/README.md
+++ b/README.md
@@ -26,7 +26,8 @@ funExt (A : U) (B : A -> U) (f g : (x : A) -> B x)
 
 For examples, including a demo ("examples/demo.ctt"), see the
 [examples](https://github.com/mortberg/cubicaltt/tree/master/examples#cubical-type-theory-examples)
-folder.
+folder. For a summary of where to find the main results of the cubical
+type theory paper in the examples folder see "examples/summary.ctt".
 
 The following keywords are reserved: