<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>
<div>Please see below my perpetual efforts to get Agda installed on my Windows 10 workstation and to start exploring Agda is resulting in failures after failures over the last 7-8 days.</div>
<div>Please come to my aid. I am not one to give up, never until I get what I want. </div>
<div> </div>
<div>C:\Users\SurajZ>cd C:\Program Files\Haskell Platform</div>
<div>C:\Program Files\Haskell Platform>cabal install agda2<br/>
Warning: C:\Users\SurajZ\AppData\Roaming\cabal\config: Unrecognized stanza on<br/>
line 14<br/>
Warning: No remote package servers have been specified. Usually you would have<br/>
one specified in the config file.<br/>
cabal: There is no package named 'agda2'.<br/>
You may need to run 'cabal update' to get the latest list of available<br/>
packages.</div>
<div>C:\Program Files\Haskell Platform>cabal update<br/>
Warning: C:\Users\SurajZ\AppData\Roaming\cabal\config: Unrecognized stanza on<br/>
line 14<br/>
Warning: No remote package servers have been specified. Usually you would have<br/>
one specified in the config file.</div>
<div>C:\Program Files\Haskell Platform>cabal install Agda<br/>
Warning: C:\Users\SurajZ\AppData\Roaming\cabal\config: Unrecognized stanza on<br/>
line 14<br/>
Warning: No remote package servers have been specified. Usually you would have<br/>
one specified in the config file.<br/>
cabal: There is no package named 'Agda'.<br/>
You may need to run 'cabal update' to get the latest list of available<br/>
packages.</div>
<div>C:\Program Files\Haskell Platform></div>
<div>
<div name="quote" style="margin:10px 5px 5px 10px; padding: 10px 0 10px 10px; border-left:2px solid #C3D9E5; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div style="margin:0 0 10px 0;"><b>Sent:</b> Friday, June 24, 2016 at 12:02 AM<br/>
<b>From:</b> "Oleg Lobachev" <lobachev@Mathematik.Uni-Marburg.de><br/>
<b>To:</b> "Ren Rise" <ren.rise@gmx.com><br/>
<b>Subject:</b> Re: [Agda] help required for installing GHC or whole Haskell platform</div>
<div name="quoted-content">
<div>
<div>Not cabal install, but cabal install agda2 or how it was again. <br/>
<br/>
Sent from my iPhone</div>
<div><br/>
On 22.06.2016, at 07:53, Ren Rise <<a href="ren.rise@gmx.com" target="_parent">ren.rise@gmx.com</a>> wrote:<br/>
</div>
<blockquote>
<div>
<div style="font-family: Verdana;font-size: 12.0px;">
<div>I have just downloaded cabal by running cabal update. Please see the followins lines from my command prompt: </div>
<div> </div>
<div>
<div>C:\Program Files\Haskell Platform>cabal update<br/>
Downloading the latest package list from <a href="http://hackage.haskell.org" target="_blank">hackage.haskell.org</a></div>
<div> </div>
<div>But when I run cabal install, it again throws up exceptions:</div>
<div> </div>
<div>
<div>C:\Program Files\Haskell Platform>cabal install<br/>
cabal: Error reading local package.<br/>
Couldn't find .cabal file in: .</div>
<div>C:\Program Files\Haskell Platform></div>
</div>
<div> </div>
<div>Now what do I do?</div>
<div> </div>
<div style="margin: 10.0px 5.0px 5.0px 10.0px;padding: 10.0px 0 10.0px 10.0px;border-left: 2.0px solid rgb(195,217,229);">
<div style="margin: 0 0 10.0px 0;"><b>Sent:</b> Wednesday, June 22, 2016 at 9:49 AM<br/>
<b>From:</b> "Andrés Sicard-Ramírez" <<a href="asr@eafit.edu.co" target="_parent">asr@eafit.edu.co</a>><br/>
<b>To:</b> "Ren Rise" <<a href="ren.rise@gmx.com" target="_parent">ren.rise@gmx.com</a>><br/>
<b>Subject:</b> Re: [Agda] help required for installing GHC or whole Haskell platform</div>
<div>On 21 June 2016 at 23:08, Ren Rise <<a href="ren.rise@gmx.com" target="_parent">ren.rise@gmx.com</a>> wrote:<br/>
> C:\Program Files\Haskell Platform>cabal install Agda<br/>
> 'cabal' is not recognized as an internal or external command,<br/>
<br/>
The cabal program is not in your path.<br/>
<br/>
<br/>
--<br/>
Andrés<br/>
La información contenida en este correo electrónico está dirigida únicamente a su destinatario y puede contener información confidencial, material privilegiado o información protegida por derecho de autor. Está prohibida cualquier copia, utilización, indebida retención, modificación, difusión, distribución o reproducción total o parcial. Si usted recibe este mensaje por error, por favor contacte al remitente y elimínelo. La información aquí contenida es responsabilidad exclusiva de su remitente por lo tanto la Universidad EAFIT no se hace responsable de lo que el mensaje contenga. The information contained in this email is addressed to its recipient only and may contain confidential information, privileged material or information protected by copyright. Its prohibited any copy, use, improper retention, modification, dissemination, distribution or total or partial reproduction. If you receive this message by error, please contact the sender and delete it. The information contained herein is the sole responsibility of the sender therefore Universidad EAFIT is not responsible for what the message contains.</div>
</div>
</div>
</div>
</div>
</blockquote>
<blockquote>
<div><span>_______________________________________________</span><br/>
<span>Agda mailing list</span><br/>
<span><a href="Agda@lists.chalmers.se" target="_parent">Agda@lists.chalmers.se</a></span><br/>
<span><a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a></span></div>
</blockquote>
</div>
</div>
</div>
</div>
</div></div></body></html>