[Agda] interactive mode

Ramana Kumar ramana.kumar at gmail.com
Fri Jan 28 22:17:18 CET 2011

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

More information about the Agda mailing list