Make this into an Idris plugin

[PhilAndrew]

Hi, this is great!

So I tried to use Idris with this, actually it gives me a little bit of auto-complete in the Idris language if I use this and save .idr files as "Haskell syntax".

What would be good is if this could be adjusted to support Idris language. The Idris REPL has a IDE mode which allows for communications with the REPL from an IDE. That could be used.

Would anyone feel motivated to do this work?