idris-hackers/idris-mode — pull request #244 by hannesm (2014-08-07 10:14:01+00:00)
Title: remove compatibility for old Idris versions

this is all I could find so far... if there's more, we can remove more :)
@david-christiansen if you can give it a try that I didn't break anything, that'd be great!