Index - C
| caseSplit | Plugin |
| cc_max_height | Cornelis.Types |
| cc_max_width | Cornelis.Types |
| cc_split_location | Cornelis.Types |
| ce_config | Cornelis.Types |
| ce_namespace | Cornelis.Types |
| ce_state | Cornelis.Types |
| ce_stream | Cornelis.Types |
| charToBytes | Cornelis.Offsets |
| ClearHighlighting | Cornelis.Types |
| ClearRunningInfo | Cornelis.Types |
| closeInfoWindows | Cornelis.InfoWin |
| Cmd_abort | Cornelis.Types.Agda |
| Cmd_autoAll | Cornelis.Types.Agda |
| Cmd_autoOne | Cornelis.Types.Agda |
| Cmd_compute | Cornelis.Types.Agda |
| Cmd_compute_toplevel | Cornelis.Types.Agda |
| Cmd_constraints | Cornelis.Types.Agda |
| Cmd_context | Cornelis.Types.Agda |
| Cmd_elaborate_give | Cornelis.Types.Agda |
| Cmd_exit | Cornelis.Types.Agda |
| Cmd_give | Cornelis.Types.Agda |
| Cmd_goal_type | Cornelis.Types.Agda |
| Cmd_goal_type_context | Cornelis.Types.Agda |
| Cmd_goal_type_context_check | Cornelis.Types.Agda |
| Cmd_goal_type_context_infer | Cornelis.Types.Agda |
| Cmd_helper_function | Cornelis.Types.Agda |
| Cmd_highlight | Cornelis.Types.Agda |
| Cmd_infer | Cornelis.Types.Agda |
| Cmd_infer_toplevel | Cornelis.Types.Agda |
| Cmd_intro | Cornelis.Types.Agda |
| Cmd_load | Cornelis.Types.Agda |
| Cmd_load_highlighting_info | Cornelis.Types.Agda |
| Cmd_make_case | Cornelis.Types.Agda |
| Cmd_metas | Cornelis.Types.Agda |
| Cmd_refine | Cornelis.Types.Agda |
| Cmd_refine_or_intro | Cornelis.Types.Agda |
| Cmd_search_about_toplevel | Cornelis.Types.Agda |
| Cmd_show_module_contents | Cornelis.Types.Agda |
| Cmd_show_module_contents_toplevel | Cornelis.Types.Agda |
| Cmd_show_version | Cornelis.Types.Agda |
| Cmd_solveAll | Cornelis.Types.Agda |
| Cmd_solveOne | Cornelis.Types.Agda |
| Cmd_tokenHighlighting | Cornelis.Types.Agda |
| Cmd_why_in_scope | Cornelis.Types.Agda |
| Cmd_why_in_scope_toplevel | Cornelis.Types.Agda |
| CodePoint | Cornelis.Offsets |
| Colline | |
| 1 (Type/Class) | Cornelis.Diff |
| 2 (Data Constructor) | Cornelis.Diff |
| Command | |
| 1 (Data Constructor) | Cornelis.Types.Agda |
| 2 (Type/Class) | Cornelis.Types.Agda |
| Command' | Cornelis.Types.Agda |
| ComputeMode | Cornelis.Types.Agda |
| computeMode | Plugin |
| computeModeCompletion | Plugin |
| containsPoint | Cornelis.Offsets |
| cornelis | Lib |
| CornelisArgument | Cornelis.Pretty |
| CornelisBound | Cornelis.Pretty |
| CornelisCatchAllClause | Cornelis.Pretty |
| CornelisCoinductiveConstructor | Cornelis.Pretty |
| CornelisComment | Cornelis.Pretty |
| CornelisConfig | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| CornelisEnv | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| CornelisError | Cornelis.Pretty |
| CornelisErrorWarning | Cornelis.Pretty |
| CornelisField | Cornelis.Pretty |
| CornelisFunction | Cornelis.Pretty |
| CornelisGeneralizable | Cornelis.Pretty |
| CornelisHole | Cornelis.Pretty |
| CornelisInductiveConstructor | Cornelis.Pretty |
| cornelisInit | Lib |
| CornelisKeyword | Cornelis.Pretty |
| CornelisMacro | Cornelis.Pretty |
| CornelisModule | Cornelis.Pretty |
| CornelisName | Cornelis.Pretty |
| CornelisNumber | Cornelis.Pretty |
| CornelisOperator | Cornelis.Pretty |
| CornelisPostulate | Cornelis.Pretty |
| CornelisPragma | Cornelis.Pretty |
| CornelisPrimitive | Cornelis.Pretty |
| CornelisPrimitiveType | Cornelis.Pretty |
| CornelisRecord | Cornelis.Pretty |
| CornelisState | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| CornelisString | Cornelis.Pretty |
| CornelisSymbol | Cornelis.Pretty |
| CornelisTitle | Cornelis.Pretty |
| CornelisType | Cornelis.Pretty |
| CornelisTypeChecks | Cornelis.Pretty |
| CornelisUnsolvedConstraint | Cornelis.Pretty |
| CornelisUnsolvedMeta | Cornelis.Pretty |
| CornelisWarn | Cornelis.Pretty |
| criticalFailure | Cornelis.Utils |
| cs_buffers | Cornelis.Types |
| cs_diff | Cornelis.Types |