Установка Agda на Windows 7

У меня проблемы с запуском Agda на моих окнах 7 64 -бит шт. Я попытался запустить следующие команды:

cabal install agda

и

cabal install agda-executable 

, которые обе работают, но я все еще не могу заставить это работать с emacs, может ли кто-нибудь мне помочь? Я попробовал установщик в один клик из здесь , но он не работает, я столкнулся с этой жалобой:

C:\agda2\bin\agda2-install.cmd failed.
Code = 1
Incorrect Function
Setup was not completed.

Please correct the problem and run setup again