<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi all,</div>
<div> </div>
<div>I have downloaded Stack into my C root of Windows 10 workstation and GHC 7.10.3. Now how do I proceed on installing cabal and Agda? </div>
<div>Last time, I downloaded the Whole Haskell Platform 8.0.1 from here: https://www.haskell.org/platform/</div>
<div>But it did not work last time. </div>
<div>Or should I again download 8.01. and then try to modify my cabal config file before starting to install and run Agda?</div>
<div> </div>
<div>Please help!.</div>
<div> </div>
<div>Ren</div></div></body></html>