-
Notifications
You must be signed in to change notification settings - Fork 2
/
protop.cabal
70 lines (67 loc) · 2.45 KB
/
protop.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: protop
version: 0.1.0.0
synopsis: topos programming
description: Please see README.md
homepage: https://github.com/brunjlar/protop
license: MIT
license-file: LICENSE
author: Lars Bruenjes
maintainer: [email protected]
copyright: 2016 by Dr. Lars Brünjes
category: Language
build-type: Simple
cabal-version: >=1.10
library
hs-source-dirs: src
exposed-modules: Protop
, Protop.Core
, Protop.Core.Compositions
, Protop.Core.Equalizers
, Protop.Core.Exponentials
, Protop.Core.Identities
, Protop.Core.Monos
, Protop.Core.Morphisms
, Protop.Core.Natural
, Protop.Core.Objects
, Protop.Core.Omega
, Protop.Core.Products
, Protop.Core.Proofs
, Protop.Core.Reflexivities
, Protop.Core.Setoids
, Protop.Core.Symmetries
, Protop.Core.Terminal
, Protop.Core.Transitivities
, Protop.Logic
, Protop.Logic.Builder
, Protop.Logic.Indexed
, Protop.Logic.Simple
, Protop.Logic.Socrates
, Socrates
, Socrates.IO
, Socrates.Script
, Socrates.Core
, Protop.Utility
ghc-options: -Wall
build-depends: base >= 4.7 && < 5
, containers
, hspec
, mtl
, operational
, transformers
default-language: Haskell2010
test-suite protop-test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Spec.hs
build-depends: base >= 4.7 && < 5
, hspec
, protop
other-modules: Protop.Core.NaturalSpec
, Protop.Core.OmegaSpec
, Protop.Logic.BuilderSpec
, Protop.Logic.IndexedSpec
ghc-options: -Wall -threaded
default-language: Haskell2010
source-repository head
type: git
location: https://github.com/brunjlar/protop