[Agda] interactive mode

[Ulf Norell]

As Nils Anders says the interactive mode hasn't been worked on for a long
time. If you are happy with the way it's working at the moment there is no
problem. It won't disappear, but it also won't be improved.

For the record, I'm an avid vim user myself. The only thing I use emacs for
is to write Agda programs. The emacs mode really is very nice and it's well
worth the effort to learn a few basic emacs commands.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080609/59c54617/attachment.html