agda-language-server-0.2.2.0.2.2.6.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
#