nova 95a377929a lsp integration with coq

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

lua

lsp integration with coq

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

init.lua

lsp change to coq

2024-01-29 00:07:54 +01:00

lazy-lock.json

switch to luasnip, added better snipplets

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

Description

No description provided

41 KiB

Languages

Lua 100%