[Agda] agda-mode on mac os

[Nils Anders Danielsson]

On 2010-05-06 10:08, Rypacek, Ondrej wrote:
> I've recently downloaded and compiled agda on a Mac, OS version
> 10.6.3, but agda-mode both in Aquamacs nor Carbon Emacs hangs as soon
> as I feed it a compilable program. Has anyone experienced the same?
> What can I do?

C-g, switch to the *ghci* buffer, post the output here.

-- 
/NAD