Index - N
| Name | Core.TT |
| name | Idris.ParseHelpers, Idris.Parser |
| NameArg | Idris.Help |
| nameRoot | Idris.CaseSplit |
| namesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| namespace | |
| 1 (Function) | Idris.ElabTerm |
| 2 (Function) | Idris.Parser |
| namesUsed | Core.CaseTree |
| NameType | Core.TT |
| natcase | Idris.Transforms |
| NativeTy | Core.TT |
| nativeTyToJType | IRTS.Java.JTypes |
| nativeTyWidth | Core.TT |
| natTrans | Idris.Transforms |
| natural | Idris.ParseHelpers, Idris.Parser |
| NErased | Core.TT |
| nest | Util.Pretty |
| nestingSize | Util.Pretty |
| newContext | IRTS.Java.JTypes |
| newContextID | IRTS.Java.JTypes |
| newProof | Core.ProofState, Core.Elaborate |
| nextName | Core.TT |
| nextname | Core.ProofState, Core.Elaborate |
| next_tvar | Core.Evaluate |
| NLet | Core.TT |
| NoArg | Idris.Help |
| NoBanner | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NoBasePkgs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NoBuiltins | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NoCoverage | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Node | IRTS.CodegenJavaScript |
| noErrors | Idris.AbsSyntax |
| noImplicits | Idris.ParseExpr, Idris.Parser |
| NoInline | IRTS.Lang, IRTS.Defunctionalise |
| NonCollapsiblePostulate | Core.TT |
| NONE | IRTS.CodegenCommon |
| NonFunctionType | Core.TT |
| noOccurrence | Core.TT |
| NOP | |
| 1 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | IRTS.BCImp |
| noPartial | Idris.Coverage |
| NoPrelude | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NoREPL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NoRewriting | Core.TT |
| normalise | Core.Evaluate |
| normaliseAll | Core.Evaluate |
| normaliseC | Core.Evaluate |
| normaliseTrace | Core.Evaluate |
| NoSuchVariable | Core.TT |
| NotCovering | Core.Evaluate |
| notEndApp | Idris.ParseHelpers, Idris.Parser |
| notEndBlock | Idris.ParseHelpers, Idris.Parser |
| NotInjective | Core.TT |
| notOpenBraces | Idris.ParseHelpers, Idris.Parser |
| NotPositive | Core.Evaluate |
| NotProductive | Core.Evaluate |
| notunified | Core.ProofState, Core.Elaborate |
| NoTypeDecl | Core.TT |
| no_errors | Core.Elaborate |
| no_imp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NS | Core.TT |
| nsroot | Core.TT |
| NULL | IRTS.Bytecode |