-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcumin-operational.cabal
96 lines (90 loc) · 3.44 KB
/
cumin-operational.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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
-- Initial cumin2salt.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: cumin-operational
version: 0.1.0.0
-- synopsis:
-- description:
-- license:
-- license-file: LICENSE
author: Fabian Zaiser
maintainer:
-- copyright:
category: Language
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
exposed-modules: Cumin.Operational
, Cumin.Operational.EvalMonad
, Cumin.Operational.Evaluation
, Cumin.Operational.NormalForms
, Cumin.Operational.Tree
, Cumin.Operational.Util
ghc-options: -Wall -O2
hs-source-dirs: src
build-depends: base == 4.7.*
, containers ==0.5.*
, lens ==4.4.*
, mtl ==2.1.*
, ansi-wl-pprint ==0.6.*
, transformers ==0.3.*
, funlogic-core
, language-cumin
default-language: Haskell2010
executable cumin-op
main-is: Main.hs
-- other-modules:
-- other-extensions:
ghc-options: -Wall -O2
build-depends: base == 4.7.*
, containers ==0.5.*
, lens ==4.4.*
, mtl ==2.1.*
, data-default-class
, trifecta ==1.4.*
, ansi-wl-pprint ==0.6.*
, transformers ==0.3.*
, haskeline ==0.7.*
, funlogic-core
, language-cumin
, cumin-operational
hs-source-dirs: cumin-op
default-language: Haskell2010
executable cumin-test
main-is: Main.hs
ghc-options: -Wall -O2
build-depends: base == 4.7.*
, containers ==0.5.*
, lens ==4.4.*
, mtl ==2.1.*
, data-default-class
, trifecta ==1.4.*
, ansi-wl-pprint ==0.6.*
, transformers ==0.3.*
, funlogic-core
, language-cumin
, cumin-operational
, hspec ==1.12.*
, logict ==0.6.*
, denotational-funlogic
, denotational-cumin
hs-source-dirs: cumin-test
default-language: Haskell2010
executable cumin-bench
main-is: Main.hs
ghc-options: -Wall -O2
build-depends: base == 4.7.*
, containers ==0.5.*
, lens ==4.4.*
, mtl ==2.1.*
, data-default-class
, trifecta ==1.4.*
, ansi-wl-pprint ==0.6.*
, transformers ==0.3.*
, funlogic-core
, language-cumin
, cumin-operational
, criterion
, deepseq
hs-source-dirs: cumin-bench
default-language: Haskell2010