From b7ca11db1003947fd1b09f32fccafbb476c983fa Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 9 Mar 2022 16:46:46 +0100
Subject: Add to README

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index fb3ced8..b766b09 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
-# choc
+# Choc
+
+Choc is an implementation of the Calculus of Construction, which is also the calculus used in Coq.
-- 
cgit