lambda-cube/lambda-cube.cabal at master · cjreynol/lambda-cube · GitHub

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
name:                   lambda-cube
version:                0.4.0.0
cabal-version:          >= 1.12
build-type:             Simple
license:                MIT
license-file:           LICENSE
copyright:              (c) 2016-2018 Chad Reynolds
author:                 Chad Reynolds
maintainer:             cjreynol13@aol.com
stability:              experimental
homepage:               https://github.com/Cjreynol/Lambda-Calculus-Implementation
bug-reports:            https://github.com/Cjreynol/Lambda-Calculus-Implementation/issues
synopsis:               Implementation of the lambda cube calculi
description:            An in-progress implementation of the 8 calculi of the
                        lambda cube and pure lambda calculus.  The goal is to
                        formulate each of the corners branching off from STLC
                        in a way that the remaining corners are formed from
                        composing the previous pieces rather than duplicating
                        and extending.

category:               Language
tested-with:            GHC == 8.4.3
extra-source-files:     README.md


source-repository head
    type:               git
    location:           git://github.com/Cjreynol/Lambda-Calculus-Implementation.git

library
    exposed-modules:      Context
                        , LambdaTerm
                        , Nat
                        , Parsing
                        , SimpleTypes
                        , Parsing.ParseableContext
                        , Parsing.ParseableTerm
                        , SimpleTypes.Examples
                        , SimpleTypes.Term
                        , SimpleTypes.Type

    build-depends:        base          >= 4.11 && < 4.12
                        , containers    >= 0.5  && < 0.6
                        , parsec        >= 3.1  && < 3.2
    hs-source-dirs:     src
    default-language:   Haskell2010
    ghc-options:        -Wall
                        -Wcompat
                        -Wincomplete-uni-patterns
                        -Wincomplete-record-updates
                        -- -Wmissing-import-lists

executable lambda-parser
    main-is:            Main.hs
    build-depends:        base          >= 4.11 && < 4.12
                        , containers    >= 0.5  && < 0.6
                        , parsec        >= 3.1  && < 3.2
                        , lambda-cube   >= 0.4  && < 0.5
    hs-source-dirs:     src
    default-language:   Haskell2010
    other-modules:      Context
                        LambdaTerm
                        Nat
                        Parsing
                        SimpleTypes
                        Parsing.ParseableContext
                        Parsing.ParseableTerm
                        SimpleTypes.Examples
                        SimpleTypes.Term
                        SimpleTypes.Type
    ghc-options:        -Wall
                        -Wcompat
                        -Wincomplete-uni-patterns
                        -Wincomplete-record-updates
                        -- -Wmissing-import-lists