cabal-version:       2.2
name:                chad-fast
synopsis:            Fast CHAD
version:             0.1.0.0
license:             BSD-3-Clause
license-file:        LICENSE
author:              Tom Smeding
maintainer:          tom@tomsmeding.com
build-type:          Simple

library
  exposed-modules:
    AST
    AST.Count
    AST.Pretty
    AST.Weaken
    CHAD
    -- Compile
    Data
    Example
    Lemmas
    PreludeCu
    Simplify
  other-modules:
  build-depends:
    base >= 4.14 && < 4.19,
    containers,
    template-haskell,
    transformers,
    some
  hs-source-dirs:
    src
  default-language:
    Haskell2010
  ghc-options:
    -Wall -threaded