3 Commits

Author	SHA1	Message	Date
juan	97c865358f	add dap and lsp now works properly	2021-09-27 11:56:17 +08:00
juan	781e666443	LSP and coq now play nicely	2021-09-08 19:57:41 +08:00
juan	ea148c695e	Add everything and LSP doesn work.	2021-09-07 23:26:21 +08:00