From 582d8977279f3863e2b4a83f24297d1c479d9168 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Tue, 24 May 2016 11:58:53 -0400
Subject: [PATCH] add reserved keywords to README

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

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
 -------
-- 
2.34.1