lib:type-settheory

Modules

• Data.Typeable.Extras
• Type.Dummies
• Type.Function
• Type.Logic
• Type.Nat
• Type.Set
• Type.Set.Example

Dependencies

• base lib:base <5 && >=4
• containers lib:containers >=0
• syb lib:syb >=0
• template-haskell lib:template-haskell >=0
• transformers lib:transformers >=0
• type-equality lib:type-equality >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything