prescientmoon/satellite
prescientmoon/satellite
1
Fork 0
Code Activity

Force discord not to force updates

Browse source
This commit is contained in:
Matei Adriel 2022-08-11 13:21:41 +03:00
parent 25b425be9c
commit a42f52d77b
9 changed files with 54 additions and 133 deletions
dotfiles/neovim/lua/my/plugins
idris.lua

42
dotfiles/neovim/lua/my/plugins/idris.lua
View file

@ -4,32 +4,32 @@ local lspconfig = require("my.plugins.lspconfig")
local M = {}
local idrisChords = {
sc = "case_split",
mc = "make_case",
ml = "make_lemma",
es = "expr_search",
gd = "generate_def",
rh = "refine_hole",
ac = "add_clause"
sc = "case_split",
mc = "make_case",
ml = "make_lemma",
es = "expr_search",
gd = "generate_def",
rh = "refine_hole",
ac = "add_clause"
}
function M.setup()
local idris2 = require("idris2")
local idris2 = require("idris2")
idris2.setup({
server = {
on_attach = function(client, bufnr)
lspconfig.on_attach(client, bufnr)
idris2.setup({
server = {
on_attach = function(client, bufnr)
lspconfig.on_attach(client, bufnr)
for key, value in pairs(idrisChords) do
arpeggio.chord("n", "i" .. key,
":lua require('idris2.code_action')." ..
value .. "()<CR>", {settings = "b"})
end
end
},
client = {hover = {use_split = true}}
})
for key, value in pairs(idrisChords) do
arpeggio.chord("n", "i" .. key,
":lua require('idris2.code_action')." ..
value .. "()<CR>", { settings = "b" })
end
end
},
client = { hover = { use_split = true } }
})
end
return M