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