-
Notifications
You must be signed in to change notification settings - Fork 0
/
discokitty.cabal
49 lines (41 loc) · 1.79 KB
/
discokitty.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
name: discokitty
version: 0.1.0
synopsis: DisCoCat implementation.
description: An educational implementation of the DisCoCat framework.
homepage: https://github.com/mroman42/discokitty
bug-reports: https://github.com/mroman42/discokitty/issues
license: GPL-3
license-file: LICENSE
author: Mario Román (mroman42)
maintainer: mromang08+github@gmail.com
category: Language
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
tested-with: GHC >= 8.6.3
source-repository head
type: git
location: git://github.com/mroman42/discokitty.git
Library
hs-source-dirs: ./source
build-depends: base >=4.7 && <5,
containers >= 0.5.7.1
exposed-modules: Discokitty
Discokitty.Models.Rel
Discokitty.Models.Diagrams
Discokitty.Models.Vectorspaces
Discokitty.Examples.LesJustesMain
Discokitty.Examples.LesJustesUniverse
Discokitty.Examples.LesJustesViterbi
Discokitty.Examples.LesJustesViterbi2
Discokitty.Examples.LesJustesVector
Discokitty.Examples.AliceAndBob
Discokitty.Examples.ConvexSpaces
Discokitty.Examples.Books
other-modules: Discokitty.Dimension
Discokitty.HasCups
Discokitty.Lambek
Discokitty.Words
Discokitty.Multiwords
default-language: Haskell2010
ghc-options: -Wall