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 |