never/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Move lsp config to local file structure

Browse source
This commit is contained in:
Never Gude 2026-01-15 17:18:59 +01:00
parent e5c3bb2492
commit 20801272fc
383 changed files with 11829 additions and 114 deletions
Download patch file Download diff file Expand all files Collapse all files

10
.config/nvim/lsp/vsrocq.lua Normal file
View file

@ -0,0 +1,10 @@
---@brief
---
--- https://github.com/rocq-prover/vsrocq
---@type vim.lsp.Config
return {
cmd = { 'vsrocqtop' },
filetypes = { 'coq' },
root_markers = { '_RocqProject', '_CoqProject', '.git' },
}