From 906bc6474b51c033283f857f147c239ca414b021 Mon Sep 17 00:00:00 2001
From: NoamDev <noam>
Date: Sun, 26 May 2024 18:59:59 +0300
Subject: [PATCH] fix ascii syntax for lambda and forall previously, it
 collided with names starting with lambda/forall.

---
 src/term/parse.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/term/parse.rs b/src/term/parse.rs
index de9a74d6..8492c0cf 100644
--- a/src/term/parse.rs
+++ b/src/term/parse.rs
@@ -83,7 +83,9 @@ impl<'i> KindParser<'i> {
 
     // ALL ::= ∀(<name>: <term>) <term>
     // "forall" can be used as an ascii alternative to "∀"
-    if self.starts_with("∀") || self.starts_with("forall") {
+    if self.starts_with("∀") ||
+        self.starts_with("forall ") ||
+        self.starts_with("forall(") {
       let ini = *self.index() as u64;
       if self.starts_with("∀") {
           self.consume("∀")?;
@@ -104,7 +106,9 @@ impl<'i> KindParser<'i> {
 
     // LAM ::= λ<name> <term>
     // "lambda" can be used as an ascii alternative to "λ"
-    if self.starts_with("λ") || self.starts_with("lambda") {
+    if self.starts_with("λ") ||
+        self.starts_with("lambda ") ||
+        self.starts_with("lambda(") {
       let ini = *self.index() as u64;
       if self.starts_with("λ") {
         self.consume("λ")?;