[Agda] interactive mode

[Andres Loeh]

Hi.

I've just noticed that latest darcs versions of Agda
claim that the interactive mode is no longer supported.
This comes as a surprise (and shock) to me -- I use it
all the time.

Why will it no longer be supported? Is it really the
idea that everyone has to use Emacs?

Cheers,
  Andres

-- 

Andres Loeh, Universiteit Utrecht

mailto:andres at cs.uu.nl     mailto:mail at andres-loeh.de
http://www.andres-loeh.de