From 3a67e69bfe9492d2a2fc5e4b07cc8c909a346064 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Mon, 13 Oct 2025 09:27:07 +0200
Subject: add minimal evaluator and type inference

---
 lambda-calcul/haskell/minilang.cabal | 95 ++++++++++++++++++++++++++++++++++++
 1 file changed, 95 insertions(+)
 create mode 100644 lambda-calcul/haskell/minilang.cabal

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

diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal
new file mode 100644
index 0000000..817672e
--- /dev/null
+++ b/lambda-calcul/haskell/minilang.cabal
@@ -0,0 +1,95 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.35.1.
+--
+-- see: https://github.com/sol/hpack
+
+name:           minilang
+version:        0.1.0.0
+description:    Please see the README on Github at <https://github.com/abailly/xxi-century-typed/minilang#readme>
+homepage:       https://github.com/abailly/minilang#readme
+bug-reports:    https://github.com/abailly/minilang/issues
+author:         Arnaud Bailly
+maintainer:     arnaud@pankzsoft.com
+copyright:      2025 Arnaud Bailly
+license:        BSD3
+license-file:   LICENSE
+build-type:     Simple
+extra-source-files:
+    README.md
+    ChangeLog.md
+
+source-repository head
+  type: git
+  location: https://github.com/abailly/minilang
+
+library
+  exposed-modules:
+      Minilang.Lambda.Unify
+      Minilang.Lambda.Eval
+      Minilang.Lambda.Infer
+  hs-source-dirs:
+      src
+  default-extensions:
+      DeriveGeneric
+      OverloadedStrings
+      FlexibleInstances
+      MultiParamTypeClasses
+      FlexibleContexts
+      RecordWildCards
+      NamedFieldPuns
+      GeneralizedNewtypeDeriving
+  ghc-options: -Wall -fno-warn-orphans
+  build-depends:
+      aeson
+    , async
+    , base
+    , bytestring
+    , containers
+    , data-default
+    , directory
+    , exceptions
+    , filepath
+    , mtl
+    , stm
+    , text
+    , unordered-containers
+  default-language: Haskell2010
+
+test-suite minilang-test
+  type: exitcode-stdio-1.0
+  main-is: Spec.hs
+  other-modules:
+      Minilang.Lambda.InferSpec
+      Minilang.Lambda.EvalSpec
+  hs-source-dirs:
+      test
+  default-extensions:
+      DeriveGeneric
+      OverloadedStrings
+      FlexibleInstances
+      MultiParamTypeClasses
+      FlexibleContexts
+      RecordWildCards
+      NamedFieldPuns
+      GeneralizedNewtypeDeriving
+  ghc-options: -Wall -fno-warn-orphans -threaded -rtsopts -with-rtsopts=-N
+  build-tool-depends:
+      hspec-discover:hspec-discover
+  build-depends:
+      QuickCheck
+    , async
+    , base
+    , bytestring
+    , containers
+    , data-default
+    , directory
+    , exceptions
+    , filepath
+    , hspec
+    , hspec-discover
+    , minilang
+    , mtl
+    , text
+    , unordered-containers
+  default-language: Haskell2010
-- 
cgit v1.2.3