blob: 66452d9904f41a028f821c965b533ba45e590cb5 (
plain)
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
|
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,
some
hs-source-dirs:
src
default-language:
Haskell2010
ghc-options:
-Wall -threaded
|
