neovim cornelis bindings
This commit is contained in:
parent
653f04136b
commit
f528d9ac82
|
@ -193,6 +193,24 @@ in
|
|||
let g:lightline = { 'colorscheme': 'gruvbox' }
|
||||
colorscheme gruvbox
|
||||
hi Normal guibg=NONE ctermbg=NONE
|
||||
|
||||
au BufRead,BufNewFile *.agda call AgdaFiletype()
|
||||
au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
|
||||
function! AgdaFiletype()
|
||||
nnoremap <buffer> <leader>l :CornelisLoad<CR>
|
||||
nnoremap <buffer> <leader>r :CornelisRefine<CR>
|
||||
nnoremap <buffer> <leader>c :CornelisMakeCase<CR>
|
||||
nnoremap <buffer> <leader>, :CornelisTypeContext<CR>
|
||||
nnoremap <buffer> <leader>. :CornelisTypeContextInfer<CR>
|
||||
nnoremap <buffer> <leader>d :CornelisTypeInfer<CR>
|
||||
nnoremap <buffer> <leader>s :CornelisSolve<CR>
|
||||
nnoremap <buffer> <leader>a :CornelisAuto<CR>
|
||||
nnoremap <buffer> gd :CornelisGoToDefinition<CR>
|
||||
nnoremap <buffer> <leader>b :CornelisPrevGoal<CR>
|
||||
nnoremap <buffer> <leader>f :CornelisNextGoal<CR>
|
||||
nnoremap <buffer> <leader>u :CornelisIgnoreAbstract<CR>
|
||||
nnoremap <buffer> <leader><space> :CornelisGive<CR>
|
||||
endfunction
|
||||
'';
|
||||
plugins = with pkgs.vimPlugins; [
|
||||
surround-nvim
|
||||
|
|
Loading…
Reference in New Issue
Block a user