[Agda] agda-mode on mac os

Rypacek, Ondrej ondrej.rypacek at kcl.ac.uk
Thu May 6 11:08:14 CEST 2010


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


More information about the Agda mailing list