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

Index - I

iconRender.RichText, Render
inferTypeOfTextServer.Handler
initConfigOptions
initialiseCommandQueueServer.Handler
Inlines 
1 (Type/Class)Render.RichText, Render
2 (Data Constructor)Render.RichText, Render
isEmptySizedChanControl.Concurrent.SizedChan