nom-0.1.0.2: Name-binding & alpha-equivalence

Index - N

Name 
1 (Type/Class)Language.Nominal.Name, Language.Nominal
2 (Data Constructor)Language.Nominal.Name, Language.Nominal
nameAtomLanguage.Nominal.Name, Language.Nominal
nameLabelLanguage.Nominal.Name, Language.Nominal
Nameless 
1 (Type/Class)Language.Nominal.Name, Language.Nominal
2 (Data Constructor)Language.Nominal.Name, Language.Nominal
namePointLanguage.Nominal.NameSet, Language.Nominal
natLanguage.Nominal.Examples.SystemF
newLanguage.Nominal.Binder, Language.Nominal
newALanguage.Nominal.Binder, Language.Nominal
newUniqueLanguage.Nominal.Unique
nfLanguage.Nominal.Examples.SystemF
nf'Language.Nominal.Examples.SystemF
Nom 
1 (Type/Class)Language.Nominal.Nom, Language.Nominal
2 (Data Constructor)Language.Nominal.Nom, Language.Nominal
nomAppLanguage.Nominal.Binder, Language.Nominal
nomAppCLanguage.Nominal.Binder, Language.Nominal
nomToAbsLanguage.Nominal.Abs, Language.Nominal
nomToBinderLanguage.Nominal.Binder, Language.Nominal
nomToIOLanguage.Nominal.Nom, Language.Nominal
nomToMaybeBinderLanguage.Nominal.Binder, Language.Nominal
nomTxListToChunkLanguage.Nominal.Examples.IdealisedEUTxO
nomTxListToNomChunkLanguage.Nominal.Examples.IdealisedEUTxO
normalisableLanguage.Nominal.Examples.SystemF
normaliseProgLanguage.Nominal.Examples.Assembly2
nothingRenLanguage.Nominal.Unify, Language.Nominal
NTrmLanguage.Nominal.Examples.SystemF
NTrmLabelLanguage.Nominal.Examples.SystemF
NTypLanguage.Nominal.Examples.SystemF
NTypLabelLanguage.Nominal.Examples.SystemF