diff --git a/README.md b/README.md
index 987ac9f..cde4b3d 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,12 @@
 # implicitt
 
-A "proof assistant" with holes and implcit arguments. Developed to learn about elaboration, meta variables and OCaml
+A "proof assistant" with holes and implicit arguments. Developed to learn about elaboration, meta variables and OCaml
+
+# Depends
+
+* BNFC
+* ocamlyacc
+* ocamllex
 
 # TODO