agda-language-server-0.2.2.6.2: An implementation of language server protocal (LSP) for Agda 2.

Index - H

hcatRender.RichText, Render
HeaderRender.RichText, Render
HighlightingInfo 
1 (Type/Class)Agda.IR
2 (Data Constructor)Agda.IR
HighlightingInfos 
1 (Type/Class)Agda.IR
2 (Data Constructor)Agda.IR
hsepRender.RichText, Render