blob: deb43062f842544cc0aacaa03f33322f8c208906 (
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
36
|
name: lambda
version: 0.1.0.0
license: BSD3
author: "John Hui, Stephen Edwards"
maintainer: "sedwards@cs.columbia.edu"
copyright: "2023 John Hui and Stephen Edwards"
extra-source-files:
- README.md
dependencies:
- base >= 4.7 && < 5
ghc-options:
- -Wall
- -Wcompat
- -Widentities
- -Wincomplete-record-updates
- -Wincomplete-uni-patterns
- -Wmissing-export-lists
- -Wmissing-home-modules
- -Wpartial-fields
- -Wredundant-constraints
library:
source-dirs: src
dependencies:
- megaparsec
- containers
executables:
plc:
main: Main.hs
source-dirs: plc
dependencies:
- lambda
|
