rachel/nixos-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cornelis rebind

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2024-09-05 10:21:59 +02:00
parent 1ca16582c3
commit 619599562b
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
home-manager/neovim.nix
View File

@ -153,19 +153,19 @@
au BufRead,BufNewFile *.agda call AgdaFiletype() au BufRead,BufNewFile *.agda call AgdaFiletype()
au BufRead,BufNewFile *.lagda.* call AgdaFiletype() au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
function! AgdaFiletype() function! AgdaFiletype()
nnoremap <buffer> <C-c><C-l> :CornelisLoad<CR> nnoremap <buffer> <localleader>l :CornelisLoad<CR>
nnoremap <buffer> <C-c><C-r> :CornelisRefine<CR> nnoremap <buffer> <localleader>r :CornelisRefine<CR>
nnoremap <buffer> <C-c><C-c> :CornelisMakeCase<CR> nnoremap <buffer> <localleader>c :CornelisMakeCase<CR>
nnoremap <buffer> <C-c>, :CornelisTypeContext<CR> nnoremap <buffer> <localleader>, :CornelisTypeContext<CR>
nnoremap <buffer> <C-c>. :CornelisTypeContextInfer<CR> nnoremap <buffer> <localleader>. :CornelisTypeContextInfer<CR>
nnoremap <buffer> <C-c><C-d> :CornelisTypeInfer<CR> nnoremap <buffer> <localleader>d :CornelisTypeInfer<CR>
nnoremap <buffer> <C-c><C-s> :CornelisSolve<CR> nnoremap <buffer> <localleader>s :CornelisSolve<CR>
nnoremap <buffer> <C-c><C-a> :CornelisAuto<CR> nnoremap <buffer> <localleader>a :CornelisAuto<CR>
nnoremap <buffer> gd :CornelisGoToDefinition<CR> nnoremap <buffer> gd :CornelisGoToDefinition<CR>
nnoremap <buffer> <C-c><C-b> :CornelisPrevGoal<CR> nnoremap <buffer> <localleader>b :CornelisPrevGoal<CR>
nnoremap <buffer> <C-c><C-f> :CornelisNextGoal<CR> nnoremap <buffer> <localleader>f :CornelisNextGoal<CR>
nnoremap <buffer> <C-c><C-u> :CornelisIgnoreAbstract<CR> nnoremap <buffer> <localleader>u :CornelisIgnoreAbstract<CR>
nnoremap <buffer> <C-c><space> :CornelisGive<CR> nnoremap <buffer> <localleader><space> :CornelisGive<CR>
endfunction endfunction
''; '';
plugins = (with pkgs.vimPlugins; [ plugins = (with pkgs.vimPlugins; [