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