diff options
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 |