[Agda] emacs agda mode bug (with expansion, coinduction)

[Nils Anders Danielsson]

On 2010-01-29 14:58, Florent Balestrieri wrote:
> I came across a bug in the agda2 emacs mode.

Can you please report this problem via the bug tracker? If you do this
you will get an email when it has been fixed.

-- 
/NAD