[Agda] interactive mode

[Ramana Kumar]

I'm taking the Categorical Logic course at Cambridge this term, which uses Agda.
I've just installed Agda from Hackage (version 2.2.8), but I
desperately do not want to have to install Emacs too (and I think this
is true for a number of people on the course).
Conor McBride's message here
https://lists.chalmers.se/pipermail/agda/2008/000418.html inspires
hope.
It's 3 years old - was anything implemented?
If not, would anyone more experienced with Haskell and Agda like to
help me decouple Agda from Emacs?