Boolean type, and true/false symbols

1 files changed, 14 insertions, 0 deletions

diff --git a/src/Parser.hs b/src/Parser.hs
index 41f2ba3..ea698c8 100644
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -27,6 +27,18 @@ number = do
   n <- integer
   return $ Num n pos
 
+true :: Parser Expr
+true = do
+  pos <- getPosition
+  reserved "true"
+  return $ Bool' True pos
+
+false :: Parser Expr
+false = do
+  pos <- getPosition
+  reserved "false"
+  return $ Bool' False pos
+
 variable :: Parser Expr
 variable = do
   pos <- getPosition
@@ -107,6 +119,8 @@ call = do
 factor :: Parser Expr
 factor =
   number
+    <|> true
+    <|> false
     <|> try call
     <|> try lambda
     <|> try variable