From 0d3c4d913e7082f3f1182b0a9507b42ed0a935f9 Mon Sep 17 00:00:00 2001
From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com>
Date: Sun, 30 Jan 2022 17:38:55 +0100
Subject: [PATCH] =?UTF-8?q?=CE=BB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/lib.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index 09c3b70..79ef217 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -81,7 +81,10 @@ mod parser {
                 })
                 .labelled("abstraction");
 
-            abstraction.then_ignore(end())
+            ident
+                .or(abstraction)
+                .or(expr.delimited_by(Token::ParenO, Token::ParenC))
+                .then_ignore(end())
         })
     }
 }