| DAlt | IRTS.Defunctionalise |
| DApp | IRTS.Defunctionalise |
| Data | Idris.Core.TT |
| DataColour | Idris.Colours |
| dataColour | Idris.Colours |
| DataDoc | Idris.Docs |
| DataErrRev | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dataI | Idris.ParseData, Idris.Parser |
| DataMI | Idris.Core.Evaluate |
| DataOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DataOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dataOpts | Idris.ParseData, Idris.Parser |
| DataOutput | Idris.Core.TT |
| Datatype | Idris.Core.TT |
| data_ | Idris.ParseData, Idris.Parser |
| data_opts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DbgLevel | IRTS.CodegenCommon |
| DC | IRTS.Defunctionalise |
| DCase | IRTS.Defunctionalise |
| DChkCase | IRTS.Defunctionalise |
| DCon | Idris.Core.TT |
| DConCase | IRTS.Defunctionalise |
| DConst | IRTS.Defunctionalise |
| DConstCase | IRTS.Defunctionalise |
| DConstructor | IRTS.Defunctionalise |
| DDecl | IRTS.Defunctionalise |
| DDefaultCase | IRTS.Defunctionalise |
| DDefs | IRTS.Defunctionalise |
| debind | Idris.DSL |
| debindApp | Idris.DSL |
| DEBUG | IRTS.CodegenCommon |
| DebugInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| decl | Idris.Parser |
| decl' | Idris.Parser |
| declare | IRTS.Defunctionalise |
| declared | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| declareFinalObjectArray | IRTS.Java.ASTBuilding |
| declArgs | IRTS.Compiler |
| decorateid | Idris.ElabDecls |
| decoration | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Def | Idris.Core.Evaluate |
| defaultAlt | IRTS.Bytecode |
| DefaultCase | Idris.Core.CaseTree |
| DefaultEliminator | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| defaultOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DefaultPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| defaultSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| defaultTheme | Idris.Colours |
| DefaultTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| default_access | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| default_total | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Defer | Idris.Core.ProofState, Idris.Core.Elaborate |
| defer | Idris.Core.Elaborate |
| deferred | Idris.Core.ProofState, Idris.Core.Elaborate |
| DeferType | Idris.Core.ProofState, Idris.Core.Elaborate |
| deferType | Idris.Core.Elaborate |
| defer_totcheck | Idris.AbsSyntax |
| defined | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Defn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| defunctionalise | IRTS.Defunctionalise |
| delab | Idris.Delaborate |
| delab' | Idris.Delaborate |
| delabMV | Idris.Delaborate |
| delabTy | Idris.Delaborate |
| delabTy' | Idris.Delaborate |
| DError | IRTS.Defunctionalise |
| desugar | Idris.DSL |
| DExp | IRTS.Defunctionalise |
| DForeign | IRTS.Defunctionalise |
| DFun | IRTS.Defunctionalise |
| Dictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| directive | Idris.Parser |
| disallowImp | Idris.ParseExpr, Idris.Parser |
| disamb | Idris.ParseExpr, Idris.Parser |
| discard | Idris.Core.TT |
| displayHelp | Idris.REPL |
| DLet | IRTS.Defunctionalise |
| DNothing | IRTS.Defunctionalise |
| DoBind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DoBindP | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| doBlock | Idris.ParseExpr, Idris.Parser |
| Doc | |
| 1 (Type/Class) | Idris.Docs |
| 2 (Data Constructor) | Idris.Docs |
| docClass | Idris.Docs |
| docComment | Idris.ParseHelpers, Idris.Parser |
| docData | Idris.Docs |
| docFun | Idris.Docs |
| DocStr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DoExp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DoLet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DoLetP | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| done | Idris.Core.ProofState, Idris.Core.Elaborate |
| dontunify | Idris.Core.ProofState, Idris.Core.Elaborate |
| DOp | IRTS.Defunctionalise |
| DoProofSearch | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| doubleType | IRTS.Java.JTypes |
| do_ | Idris.ParseExpr, Idris.Parser |
| DProj | IRTS.Defunctionalise |
| dropGiven | Idris.Core.ProofState, Idris.Core.Elaborate |
| DSL | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl | Idris.ParseData, Idris.Parser |
| DSL' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_apply | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_bind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_info | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_lambda | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_let | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_pure | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_return | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dsl_var | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dumpBC | IRTS.DumpBC |
| DumpCases | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dumpDefaultInstance | Idris.REPL |
| DumpDefun | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| dumpDefuns | IRTS.Defunctionalise |
| dumpInstance | Idris.REPL |
| dumpMethod | Idris.REPL |
| dumpprobs | Idris.Core.Elaborate |
| dumpState | Idris.Prover |
| DUpdate | IRTS.Defunctionalise |
| DV | IRTS.Defunctionalise |
| Dynamic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| DynamicLib | Util.DynamicLinker |
| DynamicLink | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| d_cons | |
| 1 (Function) | Idris.Core.TT |
| 2 (Function) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| d_name | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| d_tcon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| d_type | Idris.Core.TT |
| d_typename | Idris.Core.TT |
| d_typetag | Idris.Core.TT |