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 |