nom-0.1.0.1: Name-binding & alpha-equivalence

Index - R

Ren 
1 (Type/Class)Language.Nominal.Unify, Language.Nominal
2 (Data Constructor)Language.Nominal.Unify, Language.Nominal
renLanguage.Nominal.Unify, Language.Nominal
renExtendLanguage.Nominal.Unify, Language.Nominal
renFromListLanguage.Nominal.Unify, Language.Nominal
renNubLanguage.Nominal.Unify, Language.Nominal
renRemoveBlockLanguage.Nominal.Unify, Language.Nominal
renToListLanguage.Nominal.Unify, Language.Nominal
repeatedlyLanguage.Nominal.Utilities
reResLanguage.Nominal.Nom, Language.Nominal
resLanguage.Nominal.Nom, Language.Nominal
resAppLanguage.Nominal.Binder, Language.Nominal
resAppCLanguage.Nominal.Binder, Language.Nominal
resAppC'Language.Nominal.Binder, Language.Nominal
resMayLanguage.Nominal.Binder, Language.Nominal
resNLanguage.Nominal.Nom, Language.Nominal
RestrictLanguage.Nominal.NameSet, Language.Nominal
restrictLanguage.Nominal.NameSet, Language.Nominal
restrictNLanguage.Nominal.NameSet, Language.Nominal
Ret 
1 (Data Constructor)Language.Nominal.Examples.Assembly2
2 (Data Constructor)Language.Nominal.Examples.Assembly1
reverseTxsOfLanguage.Nominal.Examples.IdealisedEUTxO
rewriteLanguage.Nominal.Utilities
runEvFunLanguage.Nominal.Equivar, Language.Nominal
runViaSMonadLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal