Index - R
raiseFun | Type.Function |
raiseFunCPS | Type.Function |
ReadType | |
1 (Type/Class) | Type.Set |
2 (Data Constructor) | Type.Set |
rel | Type.Function |
relation | Type.Function |
relCPS | Type.Function |
type-settheory-0.1.3.1: Sets and functions-as-relations in the type system