From 4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b Mon Sep 17 00:00:00 2001 From: XChy Date: Mon, 22 Apr 2024 09:32:56 +0800 Subject: feat: add `coq_lsp` support (#393) --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index c7eed8f..402d613 100644 --- a/README.md +++ b/README.md @@ -204,6 +204,7 @@ local DEFAULT_SETTINGS = { | Clarity | `clarity_lsp` | | Clojure | `clojure_lsp` | | CodeQL | `codeqlls` | +| Coq | `coq_lsp` | | Autoconf | `autotools_ls` | | Crystal | `crystalline` | | Cucumber | `cucumber_language_server` | -- cgit v1.2.3-70-g09d2