Index - H
| HasCallStack | Cornelis.Types |
| HeadCompute | Cornelis.Types.Agda |
| HeadNormal | Cornelis.Types.Agda |
| helperFunc | Plugin |
| HelperFunction | Cornelis.Types |
| Highlight | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| highlightBuffer | Cornelis.Highlighting |
| HighlightGroup | Cornelis.Pretty |
| HighlightingInfo | Cornelis.Types |
| HighlightingLevel | Cornelis.Types.Agda |
| HighlightingMethod | Cornelis.Types.Agda |
| highlightInterval | Cornelis.Highlighting |
| hl_atoms | Cornelis.Types |
| hl_definitionSite | Cornelis.Types |
| hl_end | Cornelis.Types |
| hl_start | Cornelis.Types |
| Horizontal | Cornelis.Types |