-
Notifications
You must be signed in to change notification settings - Fork 1
/
package.yaml
36 lines (31 loc) · 920 Bytes
/
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
name: deferred-substitution
version: 0.1.0.0
github: "bts/deferred-substitution"
license: BSD3
author: "Brian Schroeder"
maintainer: "[email protected]"
copyright: "2018 Brian Schroeder"
extra-source-files:
- README.md
synopsis: An implementation of deferred substitution
category: Compiler
description: >
An implementation of Lambda-DSIM from Ben Lippmeier's functional pearl "Don't
Substitute Into Abstractions"
dependencies:
- base >= 4.7 && < 5.0
- containers >= 0.5.10 && < 0.6
- mtl >= 2.2.1 && < 2.3
- text >= 1.2 && < 1.3
library:
source-dirs: src
tests:
deferred-substitution-test:
main: Spec.hs
source-dirs: test
ghc-options:
- -threaded
- -rtsopts
- -with-rtsopts=-N
dependencies:
- deferred-substitution