<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi all,</div>

<div>&nbsp;</div>

<div>I have downloaded Stack into my C root of Windows 10 workstation&nbsp;and GHC 7.10.3. Now how do I proceed on installing cabal and Agda?&nbsp;</div>

<div>Last time, I downloaded the Whole Haskell Platform 8.0.1 from here:&nbsp;https://www.haskell.org/platform/</div>

<div>But it did not work last time.&nbsp;</div>

<div>Or should I again download 8.01. and then try to modify my&nbsp;cabal config file before starting to install and run Agda?</div>

<div>&nbsp;</div>

<div>Please help!.</div>

<div>&nbsp;</div>

<div>Ren</div></div></body></html>