nom-0.1.0.2: Name-binding & alpha-equivalence

Index - K

KAbsLanguage.Nominal.Abs, Language.Nominal
kapartLanguage.Nominal.NameSet, Language.Nominal
KAtomLanguage.Nominal.Name, Language.Nominal
kbinderToNomLanguage.Nominal.Binder, Language.Nominal
KEvFinMapLanguage.Nominal.Equivar, Language.Nominal
KEvFunLanguage.Nominal.Equivar, Language.Nominal
kevIsPrefixLanguage.Nominal.Unify, Language.Nominal
kevLookupLanguage.Nominal.Equivar, Language.Nominal
kevLookupListLanguage.Nominal.Equivar, Language.Nominal
kevLookupList'Language.Nominal.Equivar, Language.Nominal
kevNubLanguage.Nominal.Equivar, Language.Nominal
kevPrefixRenLanguage.Nominal.Unify, Language.Nominal
kevRepLanguage.Nominal.Equivar, Language.Nominal
kfreshenLanguage.Nominal.Binder, Language.Nominal
KNameLanguage.Nominal.Name, Language.Nominal
KNomLanguage.Nominal.Nom, Language.Nominal
knomToBinderLanguage.Nominal.Binder, Language.Nominal
knomToMaybeBinderLanguage.Nominal.Binder, Language.Nominal
KPermLanguage.Nominal.Name, Language.Nominal
KRenLanguage.Nominal.Unify, Language.Nominal
kresLanguage.Nominal.Nom, Language.Nominal
KRestrictLanguage.Nominal.NameSet, Language.Nominal
KSubLanguage.Nominal.Sub, Language.Nominal
ksuppLanguage.Nominal.NameSet, Language.Nominal
KSupportLanguage.Nominal.NameSet, Language.Nominal
kswpLanguage.Nominal.Name, Language.Nominal
kswpNLanguage.Nominal.Name, Language.Nominal
kunifiablePermLanguage.Nominal.Unify, Language.Nominal
KUnifyPermLanguage.Nominal.Unify, Language.Nominal
kunifyPermLanguage.Nominal.Unify, Language.Nominal