From 3f16a48ac998d973e1c41e0f00e18dc975dbf051 Mon Sep 17 00:00:00 2001
From: nmvdw <nnmvdw@gmail.com>
Date: Mon, 2 Jan 2017 13:07:50 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 506be96..aed85b1 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
-# HITs-Coq
\ No newline at end of file
+# HITs-Coq
+
+Needed: https://github.com/HoTT/HoTT