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