Question: how to install agda on windows?
Answer: Run cabal update to get the latest package list. Add $HOME/Library/Haskell/bin to your path, so that the executables installed by cabal are in your path. Run cabal install Agda. ...  When you're done, you should be able to do % agda --version Agda version 2.3.2.1.