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.