From 75120ba6026724f7ce5bb50009693a2ab43aa8b0 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dan@covariant.me>
Date: Thu, 18 May 2017 17:46:00 +0200
Subject: [PATCH] Update the README

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

diff --git a/README.md b/README.md
index 419b4f9..66402c6 100644
--- a/README.md
+++ b/README.md
@@ -3,3 +3,11 @@
 Needed: https://github.com/HoTT/HoTT
 
 More information on the work is in HITs.pdf.
+
+# Building
+
+Make sure that you have [hoqc](https://github.com/HoTT/HoTT) installed. Then generate
+the Makefile and build the project:
+
+    coq_makefile -f _CoqProject -o Makefile
+    make
\ No newline at end of file