From 1ac3d99bab3214915fe7820ebca11c467eeebfcd Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Tue, 30 Aug 2022 18:09:24 +0200
Subject: [PATCH] update readme

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

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