diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-12-21 22:45:10 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-12-21 22:45:10 +0100 |
| commit | 2872a9a18519d41e110c5cea36172935b64edfde (patch) | |
| tree | 382d3dd9b0aaf546cd6c12075cca98a807976007 /miniagda.cabal | |
Initial
Diffstat (limited to 'miniagda.cabal')
| -rw-r--r-- | miniagda.cabal | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/miniagda.cabal b/miniagda.cabal new file mode 100644 index 0000000..ef7e070 --- /dev/null +++ b/miniagda.cabal @@ -0,0 +1,29 @@ +cabal-version: 3.0 +name: miniagda +version: 0.1.0.0 +-- synopsis: +-- description: +license: BSD-3-Clause +author: Tom Smeding +maintainer: Tom Smeding <tom@tomsmeding.com +build-type: Simple + +library + exposed-modules: + AST + TypeCheck + build-depends: + base >=4.17.2.0, + containers, + transformers + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: -Wall + +executable miniagda + main-is: Main.hs + build-depends: + base + hs-source-dirs: app + default-language: Haskell2010 + ghc-options: -Wall |