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

Index - T

tailData.Type.RList
TAppData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TDVarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TermData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TestEqualityData.Binding.Hobbits
testEqualityData.Binding.Hobbits
toClosedData.Binding.Hobbits.Closed, Data.Binding.Hobbits
toList 
1 (Function)Data.Type.RList
2 (Function)Data.Binding.Hobbits.NameSet
transData.Binding.Hobbits
TVarData.Binding.Hobbits.Examples.LambdaLifting.Terms, Data.Binding.Hobbits.Examples.LambdaLifting
TypeCtxData.Type.RList
typeCtxProxiesData.Type.RList