agda-language-server-0.2.1: An implementation of language server protocal (LSP) for Agda 2. (Index - D)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
<
All

Index - D

dbraces	Render.RichText, Render
destroy	Switchboard
dispatch	Server.ResponseController
DisplayInfo	Agda.IR
DisplayInfoAllGoalsWarnings	Agda.IR
DisplayInfoAuto	Agda.IR
DisplayInfoCompilationOk	Agda.IR
DisplayInfoCurrentGoal	Agda.IR
DisplayInfoError	Agda.IR
DisplayInfoGeneric	Agda.IR
DisplayInfoInferredType	Agda.IR
DisplayInfoNormalForm	Agda.IR
DisplayInfoTime	Agda.IR