Installation 在windows上安装Agda

我一直在尝试在Windows 10上安装Agda。我已经安装了所有的先决条件（GHS、Cabal、Alex、Haskell软件包中的Happy和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

我应该如何进步