diff --git a/home/rachel.nix b/home/rachel.nix
index 2026ef5..5efe4df 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -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