idris-hackers/idris-mode — pull request #193 by david-christiansen (2014-06-16 16:27:10+00:00)
Title: Crap removal

Remove old indentation code. Fixes #189 and fixes #12 and fixes #72.

Remove yasnippet integration, which doesn't seem to work right. Fixes #187.