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()) }) } }