summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.vimrc2
1 files changed, 2 insertions, 0 deletions
diff --git a/.vimrc b/.vimrc
index b73739d..2ff4c0b 100644
--- a/.vimrc
+++ b/.vimrc
@@ -76,10 +76,12 @@ nmap <silent> <F4> :ls<CR>:buf
map <C-Tab> gt
map <C-S-Tab> gT
imap <S-Tab> <C-X><C-O>
+map <F10> :make<CR>
" Haskell GHCi stuff
autocmd FileType haskell nmap <LocalLeader>gl :GhciFile<CR>
autocmd FileType haskell nmap <LocalLeader>gr :GhciReload<CR>
+autocmd FileType haskell nmap <LocalLeader>gi :GHCi
" =======================================================
" PLUGINS AND LANGUAGES