idris-hackers/idris-mode — pull request #160 by david-christiansen (2014-05-23 18:38:50+00:00)
Title: Make keybindings follow Emacs conventions better

C-c is reserved for user commands. Remove idris-ipkg-mode bindings from these.