Index - X
XRes | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
XSuspend | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
XSwp | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
nom-0.1.0.2: Name-binding & alpha-equivalence