From 8bac5d98fec4eaeb2da9e0e820336edf37e7fe75 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Mon, 21 Jan 2019 18:48:29 +0100
Subject: [PATCH] add README

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

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..4fce48b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,6 @@
+Cumulative hierarchy in Coq
+---------------------------
+
+Aczel's model of CZF done in Coq.
+
+Uses [std++](https://gitlab.mpi-sws.org/iris/stdpp).