Open andreasabel opened 9 months ago
Agda.TypeChecking.Error.explainWhyInScope
showInfoError
EmacsTop
This PR is just to save the current progress, #22 should be merged first. Currently need to migrate:
Hover
HoverContents
markedUpContent
Server.hs
Agda.TypeChecking.Error.explainWhyInScope
showInfoError
fromEmacsTop
rather than duplicating it hereThis PR is just to save the current progress, #22 should be merged first. Currently need to migrate:
Hover
(lsp-2 droppedHoverContents
andmarkedUpContent
)Server.hs