[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