unbound-0.5.0: Generic support for programming with names and binders (Index - T)

unbound-0.5.0: Generic support for programming with names and binders

A
B
C
D
E
F
G
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
All

Index - T

Term	Unbound.LocallyNameless.Alpha
term	Unbound.LocallyNameless.Alpha
TestEquality	Unbound.LocallyNameless
testEquality	Unbound.LocallyNameless
to	Unbound.LocallyNameless
toDyn	Unbound.DynR
toList	Unbound.LocallyNameless
toR	Unbound.LocallyNameless
toSortedName	Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
toSpine	Unbound.LocallyNameless
translate	Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
Traversal	Unbound.LocallyNameless
Traversal1	Unbound.LocallyNameless
TRec
1 (Type/Class)	Unbound.LocallyNameless.Types, Unbound.LocallyNameless
2 (Data Constructor)	Unbound.LocallyNameless.Types
trec	Unbound.LocallyNameless.Ops, Unbound.LocallyNameless
Typed	Unbound.LocallyNameless