| Name | |
| 1 (Type/Class) | Language.Nominal.Name, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Name, Language.Nominal |
| nameAtom | Language.Nominal.Name, Language.Nominal |
| nameLabel | Language.Nominal.Name, Language.Nominal |
| Nameless | |
| 1 (Type/Class) | Language.Nominal.Name, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Name, Language.Nominal |
| namePoint | Language.Nominal.NameSet, Language.Nominal |
| nat | Language.Nominal.Examples.SystemF |
| new | Language.Nominal.Binder, Language.Nominal |
| newA | Language.Nominal.Binder, Language.Nominal |
| newUnique | Language.Nominal.Unique |
| nf | Language.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 |
| nomApp | Language.Nominal.Binder, Language.Nominal |
| nomAppC | Language.Nominal.Binder, Language.Nominal |
| nomToAbs | Language.Nominal.Abs, Language.Nominal |
| nomToBinder | Language.Nominal.Binder, Language.Nominal |
| nomToIO | Language.Nominal.Nom, Language.Nominal |
| nomToMaybeBinder | Language.Nominal.Binder, Language.Nominal |
| nomTxListToChunk | Language.Nominal.Examples.IdealisedEUTxO |
| nomTxListToNomChunk | Language.Nominal.Examples.IdealisedEUTxO |
| normalisable | Language.Nominal.Examples.SystemF |
| normaliseProg | Language.Nominal.Examples.Assembly2 |
| nothingRen | Language.Nominal.Unify, Language.Nominal |
| NTrm | Language.Nominal.Examples.SystemF |
| NTrmLabel | Language.Nominal.Examples.SystemF |
| NTyp | Language.Nominal.Examples.SystemF |
| NTypLabel | Language.Nominal.Examples.SystemF |