chad-fast.cabal


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

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.Env
    AST.Pretty
    AST.Weaken
    AST.Weaken.Auto
    CHAD
    -- Compile
    Data
    Example
    Language
    Language.AST
    Lemmas
    -- PreludeCu
    Simplify
  other-modules:
  build-depends:
    base >= 4.19 && < 4.21,
    containers,
    -- template-haskell,
    transformers,
  hs-source-dirs:
    src
  default-language:
    Haskell2010
  ghc-options:
    -Wall -threaded