Feature request: Adapt it to work with Idris

[PhilAndrew]

It would be really great if Idris could work within IntelliJ and it is close to Haskell in syntax. It also has a IDE mode.

[rikvdkleij]

My first priority is to develop a solid Haskell plugin. Maybe later use my knowledge to create Purescript and Idris plugins.

[PhilAndrew]

Someone has started an Idris plugin for IntelliJ here https://github.com/cb372/intellij-idris

[zjhmale]

Hi @PhilAndrew, I have already ported a VSCode Extension for Idris https://github.com/zjhmale/vscode-idris, I'm also working on a Language Server Protocol for it. But personally I think the Idris toolchain is not mature enough (package manager, lint tool, stylish tool etc.) and a text editor is cool enough for playing around with it currently. Maybe someday we can integrate Haskell, Purescript, Idris and Agda in one powerful language plugin 😄 that will be wonderful.

[rikvdkleij]

Sorry but I will not adapt the plugin to work with Idris.