PlanHol/PlanHol.cabal at main · KiJeong-Lim/PlanHol · 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
name: PlanHol
version: 0.3.0
synopsis: A Programming Language with Higher-Order Logic
build-type: Simple
cabal-version: 2.0

executable main
  hs-source-dirs: src
  default-language: Haskell2010
  main-is: Main.hs
  ghc-options: -O3
  build-depends: base, containers, transformers, pretty-terminal, directory, extra
  other-modules:
    ALPHA1.Ast
    ALPHA1.Grammar
    ALPHA1.Main
    ALPHA1.Rendering
    ALPHA1.TermNode
    ALPHA2.Header
    ALPHA2.PlanHolLexer
    ALPHA2.PlanHolParser
    ALPHA2.Constant
    ALPHA2.Desugarer
    ALPHA2.TypeChecker
    ALPHA2.TermNode
    ALPHA2.HOPU
    ALPHA2.Runtime
    ALPHA2.Compiler
    ALPHA2.Main
    ALPHA3.Main
    LGS.Alpha1
    PGS.Alpha1
    PGS.LALR
    PGS.Util
    TEST.HOPU1
    TEST.HOPU2
    TEST.Presburger
    TEST.Term1
    TEST.Term2
    TEST.Term3
    TEST.Term4
    Z.Algorithms
    Z.Doc
    Z.OldPC
    Z.PC
    Z.System
    Z.Utils