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

Server.Handler

Documentation