Index - N
| Named | Language.TL.Types |
| NamedList | Language.TL.Types |
| Nat | |
| 1 (Data Constructor) | Language.TL.Types |
| 2 (Data Constructor) | Language.TL.AST |
| nat | Language.TL.Lexer |
| natExpr | Language.TL.Parser |
| NatTerm | Language.TL.Types |
| natTerm | Language.TL.Parser |
| NatType | |
| 1 (Data Constructor) | Language.TL.Types |
| 2 (Data Constructor) | Language.TL.AST |
| New | Language.TL.Types |
| newKw | Language.TL.Lexer |
| nsIdent | Language.TL.Lexer |