@@ -89,10 +89,10 @@ function IdrisEval()
90endfunction
90endfunction
92−map ct :call IdrisShowType()<ENTER>
92+map <LocalLeader>t :call IdrisShowType()<ENTER>
93−map cr :call IdrisReload()<ENTER>
93+map <LocalLeader>r :call IdrisReload()<ENTER>
94−map ci :call IdrisCaseSplit()<ENTER>
94+map <LocalLeader>c :call IdrisCaseSplit()<ENTER>
95−map cd ?:<ENTER>b:call IdrisAddClause()<ENTER>w
95+map <LocalLeader>d ?:<ENTER>b:call IdrisAddClause()<ENTER>w
96−map cm 0:call IdrisMakeWith()<ENTER>
96+map <LocalLeader>w 0:call IdrisMakeWith()<ENTER>
97−map ce :call IdrisEval()<ENTER>
97+map <LocalLeader>e :call IdrisEval()<ENTER>