Unable to connect to a running Idris repl

[senorsmile]

I assume this is due to the ambiguous line in the readme:

If you need a REPL I recommend using Vimshell.

On vimshell, it says

Note: Active developement on vimshell.vim has stopped. The only future changes will be bug fixes.

Is a REPL needed? If so, what do people use today and how does one set it up?

[CodingCellist]

Try running the REPL in a different terminal, or starting the REPL and then using :e or :edit to open an editor (it will be whichever editor is defined in $EDITOR or $VISUAL)

Vim Idris mode requires a running REPL to work. As far as I understand it, the REPL also runs a server which can be used for IDEs to interface with using the IDE protocol. The original guide to interactive editing with Idris also states that you must have a running REPL for it to work.

Let me know if that fixes things :)

[senorsmile]

I did install vimshell, but still couldn't get things working.

I finally found this comment:
#84 (comment)

which does prove to work. Is this the only way to get this working in VIM? Let's at least add documentation in the readme of how to actually use it.