-
Notifications
You must be signed in to change notification settings - Fork 0
/
HaskHOL-Deductive.cabal
75 lines (69 loc) · 2.29 KB
/
HaskHOL-Deductive.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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
name: haskhol-deductive
version: 1.0.0
synopsis: HaskHOL libraries for higher level deductive reasoning.
description: More details can be found at the following page:
http:\/\/haskhol.org.
license: BSD3
license-file: LICENSE
author: Evan Austin <[email protected]>
maintainer: Evan Austin <[email protected]>
category: Theorem Provers
cabal-version: >=1.22
build-type: Simple
stability: experimental
homepage: http://haskhol.org
library
default-language: Haskell2010
default-extensions: ConstraintKinds, DeriveDataTypeable, FlexibleContexts,
OverloadedStrings, PatternSynonyms, QuasiQuotes,
TemplateHaskell, TypeFamilies
build-depends: base >= 4.9 && < 5.0
, ansi-wl-pprint >= 0.6
, haskhol-core >= 1.3
exposed-modules:
HaskHOL.Deductive
HaskHOL.Lib.Equal
HaskHOL.Lib.Bool
HaskHOL.Lib.DRule
HaskHOL.Lib.Tactics
HaskHOL.Lib.Itab
HaskHOL.Lib.Simp
HaskHOL.Lib.Theorems
HaskHOL.Lib.IndDefs
HaskHOL.Lib.Classic
HaskHOL.Lib.Trivia
HaskHOL.Lib.Canon
HaskHOL.Lib.Meson
HaskHOL.Lib.Quot
HaskHOL.Lib.Misc
HaskHOL.Lib.TypeQuant
exposed: True
buildable: True
hs-source-dirs: src
other-modules:
HaskHOL.Lib.Bool.Context
HaskHOL.Lib.Bool.PQ
HaskHOL.Lib.Theorems.Base
HaskHOL.Lib.Theorems.Context
HaskHOL.Lib.Theorems.PQ
HaskHOL.Lib.IndDefs.Base
HaskHOL.Lib.IndDefs.Context
HaskHOL.Lib.IndDefs.PQ
HaskHOL.Lib.Classic.Base
HaskHOL.Lib.Classic.Context
HaskHOL.Lib.Classic.PQ
HaskHOL.Lib.Trivia.Base
HaskHOL.Lib.Trivia.Context
HaskHOL.Lib.Trivia.PQ
HaskHOL.Lib.TypeQuant.Context
HaskHOL.Lib.TypeQuant.PQ
HaskHOL.Lib.Trivia.PQ
ghc-prof-options: -O2 -funbox-strict-fields -Wall -fprof-auto
-fconstraint-solver-iterations=0
-fno-warn-redundant-constraints
ghc-options: -O2 -funbox-strict-fields -Wall
-fconstraint-solver-iterations=0
-fno-warn-redundant-constraints
source-repository head
type: git
location: git://github.com/ecaustin/haskhol-deductive.git