agda-language-server-0.2.1: An implementation of language server protocal (LSP) for Agda 2.
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Server
Documentation
run
::
Options
->
IO
Int
Source
#