[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