From 1c4a175e00e727ac4987f60503bd7dbaeb3f26ad Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Tue, 28 Oct 2025 16:42:28 +0100
Subject: wip: use de Bruijn indices representation

provide sample complex terms to evaluate
---
 lambda-calcul/haskell/minilang.cabal | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lambda-calcul/haskell/minilang.cabal')

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:
-- 
cgit v1.3.1