[Agda] interactive mode

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Sun Jun 8 23:35:38 CEST 2008


On Sun, Jun 8, 2008 at 12:16 PM, Andres Loeh <andres at cs.uu.nl> wrote:
>
> 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.

I think it has been unsupported for a long time, it just has not been
advertised properly before.

(Just to avoid confusion: The batch mode and the Emacs mode are still
supported, but not agda --interactive.)

> Why will it no longer be supported?

Presumably because it had few users, the Emacs mode has more features,
and we have limited man-power.

What kind of interface to Agda would you like to see, by the way?

-- 
/NAD


More information about the Agda mailing list