[Agda] interactive mode
Andres Loeh
andres at cs.uu.nl
Mon Jun 9 13:40:41 CEST 2008
> > I agree here as well. I certainly don't want to bash the emacs mode, and
> > I discourage its further development.
>
> Encourage? :)
Oops, sorry, of course. I probably wanted to eliminate a double negation, and
eliminated it incorrectly ...
> > I just think that it would be nice
> > if it wouldn't be the only choice for interactive development ...
>
> I agree. A nice, reasonably sized project for the next Agda
> Implementors' Meeting (or earlier) would be to design and implement a
> more reusable interface to the Agda internals, and then other user
> interfaces could be developed. Any volunteers?
>
> I don't know how easy it would be to make a Vim interface, though. Can
> Vim talk to Haskell code? The Emacs mode communicates with the Agda
> internals via Ghci.
While I'm a Vim user, I have hardly written any code for it and don't
know very well what it can or can't do.
Cheers,
Andres
--
Andres Loeh, Universiteit Utrecht
mailto:andres at cs.uu.nl mailto:mail at andres-loeh.de
http://www.andres-loeh.de
More information about the Agda
mailing list