-
Notifications
You must be signed in to change notification settings - Fork 1
/
montague.cabal
56 lines (55 loc) · 1.45 KB
/
montague.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
cabal-version: >= 1.2
name: montague
build-type: Simple
version: 0.0.1.0
author: Nathan Bedell
synopsis: Non-deterministic parser for natural languages.
maintainer: [email protected]
extra-source-files:
CHANGELOG.md
README.md
library
default-extensions:
LambdaCase
, MultiParamTypeClasses
, FunctionalDependencies
, ScopedTypeVariables
, ExistentialQuantification
, DataKinds
, TypeFamilies
, TypeOperators
, TypeApplications
, ScopedTypeVariables
, FlexibleContexts
, FlexibleInstances
, RankNTypes
, KindSignatures
, GADTs
exposed-modules:
Montague
, Montague.Semantics
, Montague.Types
, Montague.Lexicon
, Montague.Display
, Montague.Autocomplete
, Montague.Experimental.Prop4
, Montague.Experimental.LambekType
, Montague.Experimental.Typed
, Montague.Experimental.ProofRelevant
, Montague.Experimental.PregroupGrammar
, Montague.Experimental.TaglessFinal
, Montague.Experimental.Worlds
, Montague.Experimental.Search
, Montague.Experimental.Examples
build-depends:
base
, ghc-prim
, monad-tree
, partial-order
, parsec
, prettyprinter
, row-types
, monad-coroutine
, generic-deriving
hs-source-dirs: src
default-language: Haskell2010