Index - A
adjustCod | Type.Function |
All | |
1 (Type/Class) | Type.Logic |
2 (Data Constructor) | Type.Logic |
allElim | Type.Logic |
ApplicativeType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
auto | Type.Logic |
autoequality | Type.Set |
autosubset | Type.Set |
type-settheory-0.1.3.1: Sets and functions-as-relations in the type system