idris-hackers/idris-mode — pull request #115 by david-christiansen (2014-04-16 17:36:13+00:00)
Title: Simple, hacky imenu support via regexps

This should really be asking the compiler. Also, it doesn't see the difference between constructors and functions. On the other hand, it does allow basic support for speedbar and imenu, so it's better than nothing.

We'll need a batch-mode Idris command to dump tags as well as an ideslave command in order to properly support imenu in the future, so that speedbar can get the tags for not-yet-opened buffers.