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/minilang.cabal | |
| 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/minilang.cabal')
| -rw-r--r-- | lambda-calcul/haskell/minilang.cabal | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal index 817672e..7c9c266 100644 --- a/lambda-calcul/haskell/minilang.cabal +++ b/lambda-calcul/haskell/minilang.cabal @@ -25,6 +25,7 @@ source-repository head library exposed-modules: + Minilang.IO Minilang.Lambda.Unify Minilang.Lambda.Eval Minilang.Lambda.Infer @@ -60,6 +61,7 @@ test-suite minilang-test type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: + Minilang.IOSpec Minilang.Lambda.InferSpec Minilang.Lambda.EvalSpec hs-source-dirs: @@ -91,5 +93,28 @@ test-suite minilang-test , minilang , mtl , text + , unix , unordered-containers default-language: Haskell2010 + +executable lambda + main-is: Main.hs + other-modules: + Paths_minilang + hs-source-dirs: + app + default-extensions: + DeriveGeneric + OverloadedStrings + FlexibleInstances + MultiParamTypeClasses + FlexibleContexts + RecordWildCards + NamedFieldPuns + GeneralizedNewtypeDeriving + ghc-options: -Wall -fno-warn-orphans -threaded -rtsopts -with-rtsopts=-N + build-depends: + base + , containers + , minilang + default-language: Haskell2010 |