-
Notifications
You must be signed in to change notification settings - Fork 1
/
algebra.ipkg
43 lines (37 loc) · 1.01 KB
/
algebra.ipkg
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
package algebra
authors = "stefan-hoeck"
brief = "Lawful algebraic structures"
version = 0.0.1
readme = "README.md"
license = "BSD-3 Clause"
sourcedir = "src"
depends = base >= 0.6.0
modules = Algebra.Group
, Algebra.OrderedRing
, Algebra.Ring
, Algebra.Solver.Group
, Algebra.Solver.Monoid
, Algebra.Solver.Ops
, Algebra.Solver.Product
, Algebra.Solver.Ring
, Algebra.Solver.Semigroup
, Algebra.Solver.Semiring
, Algebra.Solver.Sum
, Control.Relation.ReflexiveClosure
, Control.Relation.Trichotomy
, Data.Maybe.Lower
, Data.Maybe.Upper
, Data.Maybe0
, Data.Either0
, Data.Pair0
, Data.Prim.Bits8
, Data.Prim.Bits16
, Data.Prim.Bits32
, Data.Prim.Bits64
, Data.Prim.Char
, Data.Prim.Int8
, Data.Prim.Int16
, Data.Prim.Int32
, Data.Prim.Int64
, Data.Prim.Integer
, Data.Prim.String