Code

coq-lsp support#323

Code

Draft

whonore wants to merge 2 commits intomainwhonore/Coqtail:mainfrom coq-lspwhonore/Coqtail:coq-lspCopy head branch name to clipboard

+237-51

Commits

Commits on Feb 18, 2023

• Add preliminary coq-lsp support

  whonore

  committed
  47846d5

Commits on Apr 23, 2023

• Use lsp#callbag#pipe to listen for CursorMoved

  whonore

  committed
  bbfaecb