[Agda] interactive mode

[Chris Eidhof]

On 8 jun 2008, at 23:35, Nils Anders Danielsson wrote:

> 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?
I used the interactive mode a lot as well. I'm not an emacs user, and  
I liked it a lot. For me, it was also the kind of interface I wanted  
to see. It would be awesome if it would be supported again.

Thanks,
-chris