agda-language-server-0.2.1: An implementation of language server protocal (LSP) for Agda 2.
Contents
Index
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
<
All
Index - O
onHover
Server.Handler
optHelp
Options
Options
1 (Type/Class)
Options
2 (Data Constructor)
Options
optRawAgdaOptions
Options
optViaTCP
Options