-
Notifications
You must be signed in to change notification settings - Fork 0
/
linlam.cabal
64 lines (60 loc) · 1.41 KB
/
linlam.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
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.6.
--
-- see: https://github.com/sol/hpack
name: linlam
version: 0.1
synopsis: a Haskell library for experimental linear lambda calculus
description: See README at <https://github.com/noamz/linlam>
category: Other
homepage: https://github.com/noamz/linlam#readme
bug-reports: https://github.com/noamz/linlam/issues
maintainer: Noam Zeilberger <noam.zeilberger@lix.polytechnique.fr>
license: MIT
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
LICENSE
source-repository head
type: git
location: https://github.com/noamz/linlam
library
exposed-modules:
LinLam
LinLam.Core
LinLam.Typing
LinLam.Search
LinLam.Pretty
LinLam.Parse
LinLam.Cartes
LinLam.Trivalent
LinLam.BCI
LinLam.Random
LinLam.Tutte
LinLam.WF
LinLam.Diagrams
LinLam.OpTree
LinLam.Diagrams.OpTree
LinLam.Utils
other-modules:
LinLam.Diagrams.Grid
LinLam.Diagrams.Matching
LinLam.Permutations
Tests
Paths_linlam
hs-source-dirs:
src
ghc-options: -Wall
build-depends:
base
, combinat
, containers
, data-memocombinators
, diagrams
, diagrams-lib
, diagrams-svg
, mtl
, parsec
, random
default-language: Haskell2010