The latest version of type-settheory is 0.1.3.1-0.
lib:type-settheory
Modules
- Control.SMonad
- Data.Category
- Data.Typeable.Extras
- Type.Dummies
- Type.Function
- Type.Logic
- Type.Set
- Type.Set.Example
Dependencies
- base lib:base <5 && >=4
- category-extras lib:category-extras >=0
- containers lib:containers >=0
- mtl lib:mtl >=0
- syb lib:syb >=0
- template-haskell lib:template-haskell >=0
- type-equality lib:type-equality >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything