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

[Nils Anders Danielsson]

On 2016-06-22 07:53, Ren Rise wrote:
> But when I run cabal install, it again throws up exceptions:
> C:\Program Files\Haskell Platform>cabal install
> cabal: Error reading local package.
> Couldn't find .cabal file in: .

The command "cabal install" tries to install the package in the current
working directory, if any. If you want to install Agda, then you could
try "cabal install Agda".

-- 
/NAD