hobbits-1.3: A library for canonically representing terms with binding (Index - T)

hobbits-1.3: A library for canonically representing terms with binding

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
:
!
=
\
~
All

Index - T

tail	Data.Type.RList
TApp	Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TDVar	Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
Term	Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TestEquality	Data.Binding.Hobbits
testEquality	Data.Binding.Hobbits
toClosed	Data.Binding.Hobbits.Closed, Data.Binding.Hobbits
toList
1 (Function)	Data.Type.RList
2 (Function)	Data.Binding.Hobbits.NameSet
trans	Data.Binding.Hobbits
TVar	Data.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TypeCtx	Data.Type.RList
typeCtxProxies	Data.Type.RList