summaryrefslogtreecommitdiff
path: root/agda-simplifier.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'agda-simplifier.cabal')
-rw-r--r--agda-simplifier.cabal18
1 files changed, 18 insertions, 0 deletions
diff --git a/agda-simplifier.cabal b/agda-simplifier.cabal
new file mode 100644
index 0000000..d5ce798
--- /dev/null
+++ b/agda-simplifier.cabal
@@ -0,0 +1,18 @@
+cabal-version: >=1.10
+name: agda-simplifier
+synopsis: Simplifier for certain Agda expressions
+version: 0.1.0.0
+license: MIT
+author: Tom Smeding
+maintainer: tom@tomsmeding.com
+build-type: Simple
+
+executable agda-simplifier
+ main-is: Main.hs
+ other-modules: Expr, Parser, Normalise
+ build-depends:
+ base >= 4.16 && < 4.19,
+ parsec
+ hs-source-dirs: .
+ default-language: Haskell2010
+ ghc-options: -Wall -threaded