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

got rid of cornelis

Browse source
This commit is contained in:
William Ball 2025-03-31 18:27:10 -07:00
parent c0295c2f4c
commit ae0374c99b
Signed by: wball
GPG key ID: B8682D8137B70765
1 changed files with 0 additions and 57 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

57
nvim/.config/nvim/lua/plugins/languages/agda.lua
View file

@ -1,57 +0,0 @@
return {
{
'isovector/cornelis',
dependencies = {
'kana/vim-textobj-user',
'neovimhaskell/nvim-hs.vim',
},
build = 'stack build',
keys = {
{
"<leader>cl",
":CornelisLoad<CR>",
"Load",
},
{
"<leader>cr",
":CornelisRefine<CR>",
"Refine",
},
{
"<leader>cd",
":CornelisMakeCase<CR>",
"Make Case",
},
{
"<leader>c,",
":CornelisTypeContext<CR>",
"Type Context",
},
{
"<leader>c.",
":CornelisTypeContextInfer<CR>",
"Type Context Infer",
},
{
"<leader>ca",
":CornelisAuto<CR>",
"Auto",
},
{
"gd",
":CornelisGoToDefinition<CR>",
"Go to definition"
},
{
"[e",
":CornelisPrevGoal",
"Previous Goal"
},
{
"]e",
":CornelisNextGoal",
"Next Goal"
},
}
}
}