From 0837921dae14ec7f1e6008f1f85cbd056ad2aced Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Fri, 17 Oct 2025 16:54:43 +0200
Subject: feat: parse an application

---
 lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lambda-calcul/haskell/src/Minilang/Lambda/Parser.hs')

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 =
-- 
cgit v1.2.3