From 254f5ff2734cbefb979ce917c81a059ca2ff6bc1 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Thu, 5 Dec 2024 20:11:38 -0800
Subject: [PATCH] got rid of extra keywords

---
 lib/Parser.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Parser.hs b/lib/Parser.hs
index 27facb6..b850867 100644
--- a/lib/Parser.hs
+++ b/lib/Parser.hs
@@ -34,7 +34,7 @@ eat :: Text -> Parser ()
 eat = void . lexeme . chunk
 
 keywords :: [Text]
-keywords = ["forall", "let", "in", "end", "fun", "def", "axiom", "section", "variable", "hypothesis", "variables", "hypotheses"]
+keywords = ["forall", "let", "in", "end", "fun", "def", "axiom", "section", "variable", "hypothesis"]
 
 pIdentifier :: Parser Text
 pIdentifier = try $ label "identifier" $ lexeme $ do