type-settheory-0.1.3.1: Sets and functions-as-relations in the type system

Index - A

adjustCodType.Function
All 
1 (Type/Class)Type.Logic
2 (Data Constructor)Type.Logic
allElimType.Logic
ApplicativeType 
1 (Type/Class)Type.Set
2 (Data Constructor)Type.Set
autoType.Logic
autoequalityType.Set
autosubsetType.Set