From ae9f061b316c17321836865795deb5aa9623b411 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 26 Jan 2023 16:50:09 +0100
Subject: [PATCH] update readme

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

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