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

neovim: emacs agda mode bindings

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2023-10-10 21:12:48 +02:00
parent 23c299b0e2
commit b6adbfa3e9
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
home/rachel.nix
View File

@ -197,19 +197,19 @@ in
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> <leader>l :CornelisLoad<CR> nnoremap <buffer> <C-c><C-l> :CornelisLoad<CR>
nnoremap <buffer> <leader>r :CornelisRefine<CR> nnoremap <buffer> <C-c><C-r> :CornelisRefine<CR>
nnoremap <buffer> <leader>c :CornelisMakeCase<CR> nnoremap <buffer> <C-c><C-c> :CornelisMakeCase<CR>
nnoremap <buffer> <leader>, :CornelisTypeContext<CR> nnoremap <buffer> <C-c><C-,> :CornelisTypeContext<CR>
nnoremap <buffer> <leader>. :CornelisTypeContextInfer<CR> nnoremap <buffer> <C-c><C-.> :CornelisTypeContextInfer<CR>
nnoremap <buffer> <leader>d :CornelisTypeInfer<CR> nnoremap <buffer> <C-c><C-d> :CornelisTypeInfer<CR>
nnoremap <buffer> <leader>s :CornelisSolve<CR> nnoremap <buffer> <C-c><C-s> :CornelisSolve<CR>
nnoremap <buffer> <leader>a :CornelisAuto<CR> nnoremap <buffer> <C-c><C-a> :CornelisAuto<CR>
nnoremap <buffer> gd :CornelisGoToDefinition<CR> nnoremap <buffer> gd :CornelisGoToDefinition<CR>
nnoremap <buffer> <leader>b :CornelisPrevGoal<CR> nnoremap <buffer> <C-c><C-b> :CornelisPrevGoal<CR>
nnoremap <buffer> <leader>f :CornelisNextGoal<CR> nnoremap <buffer> <C-c><C-f> :CornelisNextGoal<CR>
nnoremap <buffer> <leader>u :CornelisIgnoreAbstract<CR> nnoremap <buffer> <C-c><C-u> :CornelisIgnoreAbstract<CR>
nnoremap <buffer> <leader><space> :CornelisGive<CR> nnoremap <buffer> <C-c><space> :CornelisGive<CR>
endfunction endfunction
''; '';
plugins = with pkgs.vimPlugins; [ plugins = with pkgs.vimPlugins; [