Я пытался установить Agda на Windows 10. Я установил все необходимые компоненты (GHS, Cabal, Alex, Happy from Haskell Package и Emacs). Я ввел
cabal install Agda
Он установил много чего, но застрял на Agda. Поэтому я переделал указанную выше команду и получил то же сообщение об ошибке:
Resolving dependencies...
Build profile: -w ghc-8.10.1 -O1
In order, the following will be built (use -v for more details):
- Agda-2.6.1 (lib:Agda, exe:agda, exe:agda-mode) (requires build)
Starting Agda-2.6.1 (all, legacy fallback)
Building Agda-2.6.1 (all, legacy fallback)
cabal.exe: Failed to build Agda-2.6.1. The build process terminated with exit
code -1073740791
Как мне продвигаться?