Hi all, 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? GHC and haskell-mode works fine in both. Cheers, Ondrej