diff options
Diffstat (limited to 'lambda-calcul/haskell/src')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs index e60d761..f18ac74 100644 --- a/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs +++ b/lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs @@ -13,7 +13,7 @@ type Parser = Parsec Void Text data ParseError = ParseError Text deriving (Eq, Show) -data AST = Sym Text | Abs [Text] AST | App AST AST +data AST = Sym Text | Abs [Text] AST | App AST AST [AST] deriving (Eq, Show) parse :: Text -> Either ParseError AST @@ -28,7 +28,7 @@ app = between lpar rpar - (App <$> ast <*> ast) + (App <$> ast <*> ast <*> many ast) lambda :: Parser AST lambda = |