forked from ucsd-progsys/elsa
-
Notifications
You must be signed in to change notification settings - Fork 0
/
elsa.cabal
70 lines (63 loc) · 2.25 KB
/
elsa.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
name: elsa
version: 0.2.1.2
synopsis: A tiny language for understanding the lambda-calculus
description: elsa is a small proof checker for verifying sequences of
reductions of lambda-calculus terms. The goal is to help
students build up intuition about lambda-terms, alpha-equivalence,
beta-reduction, and in general, the notion of computation
by substitution.
license: MIT
license-file: LICENSE
author: Ranjit Jhala
maintainer: [email protected]
category: Language
Homepage: http://github.com/ucsd-progsys/elsa
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
Source-Repository head
Type: git
Location: https://github.com/ucsd-progsys/elsa/
Library
ghc-options: -W
exposed-modules: Language.Elsa
Language.Elsa.Types,
Language.Elsa.Eval,
Language.Elsa.Parser,
Language.Elsa.Runner
Default-Extensions: OverloadedStrings
build-depends: base >= 4 && < 5,
array,
mtl,
megaparsec >= 7.0.4,
ansi-terminal,
hashable,
unordered-containers,
directory,
filepath,
dequeue,
json
hs-source-dirs: src
default-language: Haskell2010
other-modules: Language.Elsa.UX,
Language.Elsa.Utils
executable elsa
build-depends: base,
mtl,
elsa
default-language: Haskell2010
main-is: src/Main.hs
Default-Extensions: OverloadedStrings
test-suite test
default-language: Haskell98
type: exitcode-stdio-1.0
hs-source-dirs: tests
ghc-options: -threaded
Default-Extensions: OverloadedStrings
main-is: Test.hs
build-depends: base,
directory,
filepath,
tasty,
tasty-hunit,
elsa