From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 24 May 2016 15:58:53 +0000 (-0400)
Subject: add reserved keywords to README
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=582d8977279f3863e2b4a83f24297d1c479d9168;p=cubicaltt.git

add reserved keywords to README
---

diff --git a/README.md b/README.md
index 4363c80..bc42a30 100644
--- a/README.md
+++ b/README.md
@@ -24,6 +24,12 @@ funExt (A : U) (B : A -> U) (f g : (x : A) -> B x)
 
 For more examples, see "examples/demo.ctt" and "examples/aim.ctt".
 
+The following keywords are reserved:
+
+```
+module, where, let, in, split, mutual, import, data, hdata, undefined,
+IdP, comp, transport, fill, glue, glueElem, unglueElem, U
+```
 
 Install
 -------