diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 16:42:28 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 16:42:28 +0100 |
| commit | 1c4a175e00e727ac4987f60503bd7dbaeb3f26ad (patch) | |
| tree | 2f25f43036aa9434b77cb0ea1266118288755460 /lambda-calcul/haskell/minilang.cabal | |
| parent | 1eee551ed24b58ba64d54ea19ffaab1b2821a459 (diff) | |
| download | lambda-nantes-1c4a175e00e727ac4987f60503bd7dbaeb3f26ad.tar.gz | |
wip: use de Bruijn indices representation
provide sample complex terms to evaluate
Diffstat (limited to 'lambda-calcul/haskell/minilang.cabal')
| -rw-r--r-- | lambda-calcul/haskell/minilang.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal index a39c466..a2bb355 100644 --- a/lambda-calcul/haskell/minilang.cabal +++ b/lambda-calcul/haskell/minilang.cabal @@ -27,6 +27,7 @@ library exposed-modules: Minilang.IO Minilang.Lambda.Unify + Minilang.Lambda.DeBruijn Minilang.Lambda.Eval Minilang.Lambda.Infer Minilang.Lambda.Parser @@ -65,6 +66,7 @@ test-suite minilang-test other-modules: Minilang.IOSpec Minilang.Lambda.InferSpec + Minilang.Lambda.DeBruijnSpec Minilang.Lambda.EvalSpec Minilang.Lambda.ParserSpec hs-source-dirs: |