type-settheory-0.1.3.1: Sets and functions-as-relations in the type system (Index - R)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
:

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