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

Index - N

NameData.Binding.Hobbits.Mb, Data.Binding.Hobbits
NameAndElem 
1 (Type/Class)Data.Binding.Hobbits.NameMap
2 (Data Constructor)Data.Binding.Hobbits.NameMap
NameMapData.Binding.Hobbits.NameMap
NameSetData.Binding.Hobbits.NameSet
noClosedNamesData.Binding.Hobbits.Closed, Data.Binding.Hobbits
nuData.Binding.Hobbits.Mb, Data.Binding.Hobbits
null 
1 (Function)Data.Binding.Hobbits.NameMap
2 (Function)Data.Binding.Hobbits.NameSet
NuMatchingData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
NuMatchingAny1Data.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingAny1ProofData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMatchingProofData.Binding.Hobbits.NuMatching, Data.Binding.Hobbits
nuMultiData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuMultiWithElimData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuMultiWithElim1Data.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuPData.Binding.Hobbits.QQ, Data.Binding.Hobbits
nusData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuWithElimData.Binding.Hobbits.Mb, Data.Binding.Hobbits
nuWithElim1Data.Binding.Hobbits.Mb, Data.Binding.Hobbits