idris-hackers/idris-mode — pull request #236 by david-christiansen (2014-07-28 16:30:16+00:00)
Title: Add LIDR-aware delete command

Fixes #235, and makes editing .lidr files much more pleasant. Care was taken to integrate into Emacs 24-style deletion.