Index - N
| N | Eval |
| NaiveMatrix | Termination |
| Name | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | HsSyntax |
| 4 (Type/Class) | Concrete |
| 5 (Data Constructor) | Concrete |
| name | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| name12 | TCM |
| NamedRec | Abstract |
| nameInstanceOf | Abstract |
| NameMap | Eval |
| nameOf | TCM |
| nameOfGen | TCM |
| namePart | Abstract |
| naming | TCM |
| Neg | Polarity |
| nest | PrettyTCM |
| neutral | Polarity |
| neutralDec | Abstract |
| new | TCM |
| new' | TCM |
| new2 | TCM |
| new2WithGen | TCM |
| newAssertionHandling | TraceError |
| newErrorDoc | TraceError |
| newErrorMsg | TraceError |
| NewFlex | Warshall |
| newIrr | TCM |
| newTyVar | Extract |
| newVar | TCM |
| newWithGen | TCM |
| nextNode | Warshall |
| noBind | Abstract |
| noBinds | HsSyntax |
| Nocc | Eval |
| nocc | Eval |
| noConsistencyChecking | TCM |
| NoConstructor | Eval |
| noContext | HsSyntax |
| NoData | TCM |
| Node | Warshall |
| NodeId | Warshall |
| nodeMap | Warshall |
| noDeriving | HsSyntax |
| NoKind | Abstract |
| noLoc | HsSyntax |
| noName | Abstract |
| nonEmptyName | Abstract |
| NonLinearPatterns | Abstract |
| nonLinMatch | Eval |
| nonLinMatchList | Eval |
| nonLinMatchList' | Eval |
| noTags | Abstract |
| notDifferentNames | Eval |
| notDotted | Abstract |
| NotErasableIndex | Abstract |
| NotFun | Extract |
| NotPatterns | Abstract |
| NotProd | Extract |
| NotSized | Abstract |
| NotUsed | Lexer |
| noTyVarBind | HsSyntax |
| Null | Util |
| null | Util |
| Number | Lexer |
| numPars | TCM |