diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 00:13:32 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-03-10 00:13:32 +0100 |
| commit | 34d9f21c6ab529e415f38a5a886b1b612bcbd3bc (patch) | |
| tree | 15a7f35385515b7bc65a3cc5c84249533e1c62c3 /verify-hs.cabal | |
Initial
Diffstat (limited to 'verify-hs.cabal')
| -rw-r--r-- | verify-hs.cabal | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/verify-hs.cabal b/verify-hs.cabal new file mode 100644 index 0000000..0a1aa2c --- /dev/null +++ b/verify-hs.cabal @@ -0,0 +1,31 @@ +name: verify-hs +version: 0.1.0.0 +synopsis: Interactive equational reasoning system for Haskell +license: MIT +license-file: LICENSE +author: Tom Smeding +maintainer: tom.smeding@gmail.com +copyright: (c) Tom Smeding, 2019 +build-type: Simple +cabal-version: >=1.10 + +executable verify-hs + main-is: Main.hs + other-modules: + Haskell.AST + Haskell.Env + Haskell.Parser + Haskell.Parser.Def + Haskell.SimpleParser + build-depends: + base >=4.12 && <4.13, + containers >=0.6.0.1 && <0.7, + indentparser >=0.1 && <0.2, + mtl >=2.2.2 && <2.3, + parsec >=3.1.13.0 && <3.2 + -- threepenny-gui >=0.8.3.0 && <0.9 + hs-source-dirs: src + ghc-options: -Wall -O2 + default-language: Haskell2010 + default-extensions: + LambdaCase |