From 5d1d3b4f251bf938648d7d21c6641a1a0cc0768b Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 26 Dec 2020 18:08:15 +0100 Subject: Initial --- first-order-exprs.cabal | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 first-order-exprs.cabal (limited to 'first-order-exprs.cabal') diff --git a/first-order-exprs.cabal b/first-order-exprs.cabal new file mode 100644 index 0000000..6144d2f --- /dev/null +++ b/first-order-exprs.cabal @@ -0,0 +1,18 @@ +cabal-version: >=1.10 +name: first-order-exprs +synopsis: First order expressions with simplifier +version: 0.1.0.0 +license: MIT +author: Tom Smeding +maintainer: tom@tomsmeding.com +build-type: Simple + +executable exprs + main-is: Main.hs + other-modules: AST, ASTfunc, Eval, Language, MonMap, Show, Simplify + build-depends: base >= 4.13 && < 4.15, + containers >= 0.6.3.1 && < 0.7, + mtl + hs-source-dirs: . + default-language: Haskell2010 + ghc-options: -Wall -O2 -threaded -- cgit v1.2.3-70-g09d2