ฉันไม่สามารถติดตั้ง Agda บน Mac 10.9.2 แพลตฟอร์ม Haskell 2013.2.0.0 ได้ เมื่อฉันรัน cabal install Agda ฉันเข้าใจสิ่งนี้ 39 warnings and 1 error generated. Failed to install Agda-2.3.2.2 Updating documentation index...

ฉันติดตั้งคอมไพเลอร์ Agda แล้ว ไบนารี่ได้จากที่นี่: http://ocvs.cfv.jp/Agda/how-to-install-windows.html ... และฉันกำลังพยายามทำให้มันรวบรวมแอพ Hello World ง่ายๆ (ฉันพบรหัส 'Hello World' ของ Agda ออนไลน์) แต่ฉันไม่เคยใช้ Emacs มาก่อน...