-
Notifications
You must be signed in to change notification settings - Fork 2
/
frex.cabal
34 lines (32 loc) · 1.13 KB
/
frex.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
Name: frex
Version: 0.0.1
Build-Type: Simple
License: MIT
Cabal-version: >= 1.8
Author: Tamara von Glehn <T.L.Von-Glehn@dpmms.cam.ac.uk>,
Ohad Kammar <ohad.kammar@cs.ox.ac.uk>,
Jeremy Yallop <yallop@gmail.com>,
library
build-depends: base,
containers,
multiset,
template-haskell
exposed-modules: Data.Coproduct,
Data.CMonoid,
Data.CGroup,
Data.Ring,
Data.BoolRing,
Data.DLattice,
Data.PartiallyStatic
other-modules: Data.Coproduct.Classes,
Data.Coproduct.Instances
extensions: UnicodeSyntax
ghc-options: -O3 -fwarn-unused-imports
Hs-Source-Dirs: src
Executable test
build-depends: base, containers, frex, multiset, template-haskell,
bytestring, th-lift
Main-is: Test.hs
other-modules: Printf, Power, LinAlg, InstanceLifting, CodeComparison, Datatypes, IsDigit, All
extensions: UnicodeSyntax TemplateHaskell
Hs-Source-Dirs: test