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.
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?