From c3a175e808b279eb415bcb5dbcb9db5f34035f98 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Fri, 17 Oct 2025 09:52:06 +0200
Subject: feat: add basic application to evaluate "programs"

The main simply reads from its stdin, evaluates its input, and dump
the result of the evaluation.
---
 lambda-calcul/haskell/minilang.cabal | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

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

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
-- 
cgit v1.2.3