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.Env.Cmd
    Haskell.Env.Context
    Haskell.Parser
    Haskell.Rewrite
    Pretty
    Util
  build-depends:
    base               >=4.12 && <4.14,
    containers         >=0.6.0.1 && <0.7,
    mtl                >=2.2.2 && <2.3,
    parsec             >=3.1.13.0 && <3.2
  hs-source-dirs:      src
  ghc-options:         -Wall -O2
  default-language:    Haskell2010
  default-extensions:
    LambdaCase
    TupleSections