how to install agda on windows?
['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."]