-
Notifications
You must be signed in to change notification settings - Fork 3
/
package.yaml
86 lines (77 loc) · 1.49 KB
/
package.yaml
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
name: lamdu-calculus
version: 0.2.0.1
github: "lamdu/lamdu-calculus"
license: BSD3
author: "Yair Chuchem, Eyal Lotem"
maintainer: "[email protected]"
copyright: "2021 Yair Chuchem, Eyal Lotem"
extra-source-files:
- README.md
synopsis: The Lamdu Calculus programming language
category: Language
description: Please see README.md
dependencies:
- base >= 4.7
- base-compat >= 0.8.2
- bytestring
- containers
- hypertypes >= 0.2
- lens >= 4.1
ghc-options:
- -fexpose-all-unfoldings
- -Wall
- -Wnoncanonical-monad-instances
- -Wcompat
- -Wincomplete-record-updates
- -Wincomplete-uni-patterns
- -Wredundant-constraints
- -Wunused-packages
- -fdicts-cheap
- -O2
- -fspecialise-aggressively
ghc-prof-options:
- -O2
library:
source-dirs: src
other-modules:
- Lamdu.Calc.Internal.Prelude
dependencies:
- base16-bytestring
- binary
- deepseq
- generic-constraints
- generic-data
- hashable
- lattices
- monad-st
- mtl
- pretty >= 1.1.2
- transformers
tests:
lamdu-calculus-test:
main: test.hs
source-dirs: test
dependencies:
- HUnit
- lamdu-calculus
- test-framework
- test-framework-hunit
benchmarks:
lamdu-calculus-bench:
main: benchmark.hs
source-dirs: test
ghc-options:
- -O2
- -Wall
- -Wnoncanonical-monad-instances
- -Wcompat
- -Wincomplete-record-updates
- -Wincomplete-uni-patterns
- -Wredundant-constraints
dependencies:
- criterion
- deepseq
- monad-st
- mtl
- lamdu-calculus
- transformers