From 3257eadf70826fb3ef060c46f85b7a4d60464b1d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Anders=20M=C3=B6rtberg?= Date: Sat, 22 Oct 2016 13:49:06 -0400 Subject: [PATCH] readme --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 45d8d24..11f6cb1 100644 --- 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: