idris-hackers/idris-mode — pull request #33 by trillioneyes (2013-12-18 00:21:49+00:00)
Title: Changed all keymap definitions except tab binds to use kbd instead of escapes

For some reason binding `(kbd "")` fails and recommends using `"\t"` instead, so I've done this and noted it in the comments because it's surprising.