[Agda] Install failure

[Bengt Nordstrom]

The general situation seem to be that we have a good way to install
Agda for (experienced) Haskell programmers.

But it would be nice if it was easy for people who (like myself) know
nothing about cabal, happy etc to install the system.
As a naive person, I would like to have a one click install for each
of the major operating systems. How can we achieve this?
The current descriptions of the process takes more than a page and a
lot of alternatives.

In fact, it would be nice to have a zero click install: You should be
able to load and edit Agda programs in your browser. Is anybody
working on this?

Best regards,
Bengt

On Wed, Mar 23, 2011 at 3:47 AM, wren ng thornton <wren at freegeek.org> wrote:
> On 3/22/11 4:19 PM, gallais @ EnsL.org wrote:
>> Well, cabal info is still unable to tell me which version of happy I'm using
>
> You should be able to do `which happy` and `happy --version` to find out
> (depending on how you mean).
>
> Unfortunately, cabal (actually ghc-pkg, IIRC) can't keep track of which
> executables it's installed, it only keeps track of libraries. But then
> cabal doesn't strive to be a general package manager for Haskell; it's
> more of a replacement for gmake, albeit leaning in the direction of
> package managers.
>
> --
> Live well,
> ~wren
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>