Я не могу установить 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 (я нашел в Интернете код Agda 'Hello World') Но я...