nova 95a377929a lsp integration with coq

2024-01-29 23:25:41 +01:00

..

bindings.lua

dvorak

2024-01-28 22:20:37 +01:00

coq.lua

lsp integration with coq

2024-01-29 23:25:41 +01:00

winsep.lua

switch to luasnip, added better snipplets

2023-09-25 23:44:59 +02:00