lib:twee-lib
Modules
- Data.Label
- Data.Primitive.ByteArray.Checked
- Data.Primitive.Checked
- Data.Primitive.SmallArray.Checked
- Twee
- Twee.Base
- Twee.CP
- Twee.Constraints
- Twee.Equation
- Twee.Index
- Twee.Join
- Twee.KBO
- Twee.Pretty
- Twee.Profile
- Twee.Proof
- Twee.Rule
- Twee.Rule.Index
- Twee.Task
- Twee.Term
- Twee.Utils
Dependencies
- base lib:base >=4.11 && <5
- bytestring lib:bytestring >=0
- cereal lib:cereal >=0
- containers lib:containers >=0
- dlist lib:dlist >=0
- ghc-prim lib:ghc-prim >=0
- hashable lib:hashable >=0
- pretty lib:pretty >=1.1.2.0
- primitive lib:primitive >=0.7.1.0
- random lib:random >=0
- rdtsc lib:rdtsc >=0
- symbol lib:symbol >=0
- transformers lib:transformers >=0
- uglymemo lib:uglymemo >=0
- unordered-containers lib:unordered-containers >=0
Reverse dependencies
Direct only. Not exhaustive.