diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 09:52:06 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-17 10:14:33 +0200 |
| commit | c3a175e808b279eb415bcb5dbcb9db5f34035f98 (patch) | |
| tree | ab35579f3e69494147117b110bcfa8b08eb911c4 /lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs | |
| parent | c6eaf6f117e0fe6c92a81dab542845d4ae8f64f7 (diff) | |
| download | lambda-nantes-c3a175e808b279eb415bcb5dbcb9db5f34035f98.tar.gz | |
feat: add basic application to evaluate "programs"
The main simply reads from its stdin, evaluates its input, and dump
the result of the evaluation.
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs index 68b01be..0829186 100644 --- a/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs +++ b/lambda-calcul/haskell/src/Minilang/Lambda/Eval.hs @@ -6,7 +6,7 @@ data Term = Var Text | Lam Text Term | App Term Term - deriving (Show, Eq) + deriving (Show, Read, Eq) type Env = [(Text, Term)] |