Saya tidak bisa menginstal Agda di Mac 10.9.2, platform Haskell 2013.2.0.0. Ketika saya menjalankan komplotan rahasia menginstal Agda, saya mendapatkan ini. 39 warnings and 1 error generated. Failed to install Agda-2.3.2.2 Updating documentation...

Saya memasang kompiler Agda, biner dapat dari sini: http://ocvs.cfv.jp/Agda/how-to-install-windows.html ... dan saya mencoba membuatnya mengkompilasi aplikasi hello world sederhana (saya menemukan kode Agda 'Hello World' online) Namun saya...