idris-hackers/idris-mode — pull request #31 by trillioneyes (2013-12-15 02:24:00+00:00)
Title: Fix keymap declarations

The keymaps as declared in previous versions were not creating certain bindings, most egregiously the binding of the enter/return key to `idris-repl-return` in `idris-repl-mode`. Changed most of these to use `[?\...]` form instead of `[name]` form, which is consistent with most of the other keybinding definitions and works for me.