[Agda] interactive mode
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
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