Hi,<div>I'm trying to install Agda on windows 7 using the first installer listed on <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Windows">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Windows</a>. It downloads the haskell installer, and gets a decent chunk of the progress bar through running it, and then errors with "Installation failed: Could not run "C:\Users\JASONG~1\AppData\Local\is-8VVI1.tmp\HaskellPlatform-2011.4.0.0-setup.exe" /S".</div>
<div><br></div><div>I'm not sure if it's relevant, but I'm trying to install agda to D:\Program Files (x86)\..., rather than my C:\ drive, because my C drive only has ~400 MB of free space. (Does the haskell installer default to the default drive in the registry, or the location given to the Agda installer? Is there a way to change this?)</div>
<div><br></div><div>How do I get Agda to install?</div><div><br></div><div>Thanks in advance.</div><div><br></div><div>-Jason</div>