Index - D
| debug | Cornelis.Debug |
| DebugCommand | Cornelis.Types |
| debugCommandCompletion | Plugin |
| debugJson | Cornelis.Agda |
| decNextDigitSeq | Cornelis.Subscripts |
| DefaultCompute | Cornelis.Types.Agda |
| DefinitionSite | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| Diff0 | Cornelis.Types |
| Digits | Cornelis.Subscripts |
| digits | Cornelis.Subscripts |
| digitToInt | Cornelis.Subscripts |
| Direct | Cornelis.Types.Agda |
| DisplayError | Cornelis.Types |
| DisplayInfo | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| di_all_invisible | Cornelis.Types |
| di_all_visible | Cornelis.Types |
| di_boundary | Cornelis.Types |
| di_errors | Cornelis.Types |
| di_in_scope | Cornelis.Types |
| di_ips | Cornelis.Types |
| di_output_forms | Cornelis.Types |
| di_type | Cornelis.Types |
| di_type_aux | Cornelis.Types |
| di_warnings | Cornelis.Types |
| doAbort | Plugin |
| doAllGoals | Plugin |
| doCaseSplit | Plugin |
| doCloseInfoWindows | Plugin |
| doDebug | Plugin |
| doDecNextDigitSeq | Lib |
| doElaborate | Plugin |
| doGive | Plugin |
| doGotoDefinition | Plugin |
| doHelperFunc | Plugin |
| doIncNextDigitSeq | Lib |
| doLoad | Plugin |
| doMakeCase | Lib |
| Done | Cornelis.Types.Agda |
| doNextGoal | Lib |
| doNormalize | Plugin |
| doPrevGoal | Lib |
| doQuestionToMeta | Plugin |
| doRefine | Plugin |
| doRestart | Plugin |
| doTypeInfer | Plugin |
| doWhyInScope | Plugin |
| DPos | Cornelis.Types |
| dropPrefix | Cornelis.Agda |
| ds_filepath | Cornelis.Types |
| ds_position | Cornelis.Types |
| DumpIPs | Cornelis.Types |