diff --git a/README.md b/README.md
index 9428e45..68685ad 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,7 @@ A "proof assistant" with holes and implcit arguments. Developed to learn about e
 * conversion
 
 * Raw syntax
+  * Parser (BNFC)
 
 * Metas
 * Unification