[Agda] interactive mode

[wren ng thornton]

On 1/29/11 6:32 AM, Nils Anders Danielsson wrote:
> On 2011-01-28 22:17, Ramana Kumar wrote:
>> It's 3 years old - was anything implemented?
>
> No.
>
>> If not, would anyone more experienced with Haskell and Agda like to
>> help me decouple Agda from Emacs?
>
> It would be great if someone could create a reusable interface between
> the Agda backend and various kinds of frontends.
> [...]
> However, I suspect that the person implementing a new interface would
> benefit from some hands-on knowledge of the old one, so you might have
> to sacrifice your own Emacs innocence in order to maintain that of
> others.

FWIW I'd be willing to donate some time to the project. I've no 
experience with the Emacs interface, but that's what's been keeping me 
from really playing with Agda for far too long.

-- 
Live well,
~wren