diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 18:34:16 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 18:48:27 +0100 |
| commit | a210419fd60c00d011f70fb1b968031621e4c01a (patch) | |
| tree | 68e7f8891970c230a63755e7714bb6f66f00a99d /lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs | |
| parent | 1c4a175e00e727ac4987f60503bd7dbaeb3f26ad (diff) | |
| download | lambda-nantes-a210419fd60c00d011f70fb1b968031621e4c01a.tar.gz | |
Provide function to go back from a deBruijn term to an AST
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs index 35f9460..cbbdc51 100644 --- a/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs +++ b/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs @@ -42,32 +42,3 @@ evalNeed (App f a) env = in case evalNeed f env of Abs x body env' -> evalNeed body ((x, a') : env') f' -> Ap f' a' - -x = - App - ( App - ( App - ( App - ( App - ( App - ( App - ( App - ( App - (Lam "False" (Lam "True" (Lam "If" (Lam "Zero" (Lam "Succ" (Lam "One" (Lam "Two" (Lam "Three" (Lam "IsZero" (App (Var "IsZero") (Var "Two"))))))))))) - (Lam "f" (Lam "t" (Var "f"))) - ) - (Lam "f" (Lam "t" (Var "t"))) - ) - (Lam "b" (Lam "x" (Lam "y" (App (App (Var "b") (Var "x")) (Var "y"))))) - ) - (Lam "z" (Lam "s" (Var "z"))) - ) - (Lam "n" (Lam "z" (Lam "s" (App (Var "s") (Var "n"))))) - ) - (App (Var "Succ") (Var "Zero")) - ) - (App (Var "Succ") (Var "One")) - ) - (App (Var "Succ") (Var "Two")) - ) - (Lam "n" (App (App (Var "n") (Var "True")) (Lam "m" (Var "False")))) |