[Agda] help required for installing GHC or whole Haskell platform

[Wolfram Kahl]

On Fri, Jun 24, 2016 at 11:14:52PM +0200, Ren Rise wrote:
 > I am not one to give up, never until I get what I want.

This is good.

One of your best tools on your path will be
reading the error and warning messages
that the different systems confront you with,
and striving to find out what's behind them.

 > C:\Users\SurajZ>cd C:\Program Files\Haskell Platform
 > C:\Program Files\Haskell Platform>cabal install agda2
 > Warning: C:\Users\SurajZ\AppData\Roaming\cabal\config: Unrecognized stanza
 > on
 > line 14
 > Warning: No remote package servers have been specified. Usually you would
 > have
 > one specified in the config file.

These should have gotten your attention, and you should investigate from there.


Wolfram