type-settheory-0.1.3: Sets and functions-as-relations in the type system (Index - T)

type-settheory-0.1.3: 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 - T

targetTuplingIsFun	Type.Function
test	Type.Set.Example
TNat	Type.Nat
Total	Type.Function
total	Type.Function
totalCPS	Type.Function
toTCG	Type.Function
ToTyCon
1 (Type/Class)	Type.Function
2 (Data Constructor)	Type.Function
Truth	Type.Logic
TruthProof	Type.Logic
tupling_eta	Type.Function
tyconNStruct	Type.Nat
TypeableType
1 (Type/Class)	Type.Set
2 (Data Constructor)	Type.Set