diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 17:45:25 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 17:45:25 +0100 |
| commit | 2a20afb971ef3323955964b1bbb5f75af4ca5fcb (patch) | |
| tree | 575b3ef097729846ac09e18e2d579ae0577accd8 /lambda-calcul/haskell/minilang.cabal | |
| parent | 1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 (diff) | |
| download | lambda-nantes-2a20afb971ef3323955964b1bbb5f75af4ca5fcb.tar.gz | |
Add server capability
Diffstat (limited to 'lambda-calcul/haskell/minilang.cabal')
| -rw-r--r-- | lambda-calcul/haskell/minilang.cabal | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal index 039e4f0..46f74c4 100644 --- a/lambda-calcul/haskell/minilang.cabal +++ b/lambda-calcul/haskell/minilang.cabal @@ -26,18 +26,22 @@ source-repository head library exposed-modules: Minilang.IO + Minilang.Lambda Minilang.Lambda.Unify Minilang.Lambda.DeBruijn Minilang.Lambda.Eval Minilang.Lambda.Infer Minilang.Lambda.Parser + Minilang.Log Minilang.REPL Minilang.REPL.Haskeline Minilang.REPL.IO + Minilang.REPL.Net Minilang.REPL.Pure Minilang.REPL.Purer Minilang.REPL.Run Minilang.REPL.Types + Minilang.Server hs-source-dirs: src default-extensions: @@ -60,16 +64,21 @@ library , data-default , directory , exceptions + , fast-logger , filepath , haskeline , megaparsec , mtl , stm , text + , time , unordered-containers , wai + , wai-app-static + , wai-extra , websockets , wai-websockets + , warp default-language: Haskell2010 test-suite minilang-test @@ -137,5 +146,6 @@ executable lambda base , containers , minilang + , optparse-applicative , unix default-language: Haskell2010 |