| Name | Idris.Core.TT |
| name | Idris.Parser.Helpers, Idris.Parser |
| NameArg | Idris.Help |
| NamedImplementationDoc | Idris.Docs |
| nameMissing | Idris.CaseSplit |
| NameOutput | Idris.Core.TT |
| NamePart | Idris.Core.TT |
| namequote | Idris.Parser.Expr, Idris.Parser |
| nameRoot | Idris.CaseSplit |
| namesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| namesInNS | Idris.REPL.Browse |
| namespace | |
| 1 (Function) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Function) | Idris.Parser |
| NamespaceArg | Idris.Help |
| namespacesInNS | Idris.REPL.Browse |
| namesUsed | Idris.Core.CaseTree |
| NameTArg | Idris.Parser.Expr, Idris.Parser |
| NameType | Idris.Core.TT |
| Native | IRTS.Lang, IRTS.Defunctionalise |
| NativeTy | Idris.Core.TT |
| nativeTyWidth | Idris.Core.TT |
| natural | Idris.Parser.Helpers, Idris.Parser |
| Never | Idris.Core.Typecheck |
| NewDefn | Idris.REPL.Commands |
| newProof | Idris.Core.ProofState, Idris.Core.Elaborate |
| new_tyDecls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| nextN | IRTS.LangOpts |
| nextName | Idris.Core.TT |
| nextname | Idris.Core.ProofState, Idris.Core.Elaborate |
| next_tvar | Idris.Core.Evaluate |
| NLet | Idris.Core.TT |
| NoArg | Idris.Help |
| NoBanner | Idris.Options |
| NoBasePkgs | Idris.Options |
| NoBuiltins | Idris.Options |
| noCaseLift | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NoCoverage | Idris.Options |
| Node | IRTS.CodegenJavaScript |
| noDocCommentHere | Idris.Parser.Helpers, Idris.Parser |
| noDocs | Idris.Docstrings |
| NoElimDeprecationWarnings | Idris.Options |
| NoEliminator | Idris.Core.TT |
| noErrors | Idris.AbsSyntax |
| NoFC | Idris.Core.TT |
| nofixityoperator | Idris.Parser.Ops, Idris.Parser |
| NoImplicit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| noImplicits | Idris.Parser.Expr, Idris.Parser |
| NoInline | IRTS.Lang, IRTS.Defunctionalise |
| NonCollapsiblePostulate | Idris.Core.TT |
| NONE | IRTS.CodegenCommon |
| NonFunctionType | Idris.Core.TT |
| noOccurrence | Idris.Core.TT |
| NoOldTacticDeprecationWarnings | Idris.Options |
| NOP | |
| 1 (Data Constructor) | Idris.REPL.Commands |
| 2 (Data Constructor) | IRTS.BCImp |
| noPartial | Idris.Termination |
| NoPrelude | Idris.Options |
| NoREPL | Idris.Options |
| NoRewriting | Idris.Core.TT |
| normalImplicit | Idris.Parser.Expr, Idris.Parser |
| normalise | Idris.Core.Evaluate |
| normaliseAll | Idris.Core.Evaluate |
| normaliseBlocking | Idris.Core.Evaluate |
| normaliseC | Idris.Core.Evaluate |
| normaliseTrace | Idris.Core.Evaluate |
| NoSuchVariable | Idris.Core.TT |
| NotCovering | Idris.Core.Evaluate |
| notEndApp | Idris.Parser.Helpers, Idris.Parser |
| notEndBlock | Idris.Parser.Helpers, Idris.Parser |
| NotEquality | Idris.Core.TT |
| NotInjective | Idris.Core.TT |
| notOpenBraces | Idris.Parser.Helpers, Idris.Parser |
| NotPositive | Idris.Core.Evaluate |
| NotProductive | Idris.Core.Evaluate |
| notunified | Idris.Core.ProofState, Idris.Core.Elaborate |
| NoTypeDecl | Idris.Core.TT |
| NoValidAlts | Idris.Core.TT |
| nowElaboratingPS | Idris.Core.ProofState, Idris.Core.Elaborate |
| now_elaborating | Idris.Core.Elaborate |
| no_errors | Idris.Core.Elaborate |
| no_imp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| NS | Idris.Core.TT |
| nsroot | Idris.Core.TT |
| nt_arity | Idris.Core.TT |
| nt_tag | Idris.Core.TT |
| nt_unique | Idris.Core.TT |
| NULL | IRTS.Bytecode |
| nullDocstring | Idris.Docstrings |
| NullType | Idris.Core.TT |
| NumberArg | Idris.Help |