nom-0.1.0.1: Name-binding & alpha-equivalence

Index - J

justALabelLanguage.Nominal.Name, Language.Nominal
justAnAtomLanguage.Nominal.Name, Language.Nominal