add reserved keywords to README

diff --git a/README.md b/README.md
index 4363c80673e92330e8cf154ce9ad0efe732ea085..bc42a3018928497a496652d777f62741d6afede1 100644 (file)
--- 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
 -------