[Agda] Re: Good old times... (install trouble)

[Stefan Monnier]

> In any case, I agree that Agda could be made easier to install.
> Whether this should be accomplished through better maintenance of
> binary packages, better install guides, or through making a smaller
> version with fewer dependencies, I don't know.

Also, when you finally get Agda compiled, be carefult to check out the
Agda library as well at the same time, since it also evolves quickly and
in the same kind of lockstep, apparently (e.g. it already uses → and λ,
even tho these were added to Agda pretty recently).

What it means for me is "now that I got a working Agda and library,
I'll stick to it for a (long) while".  Which is kind of a pity for
a package that evolves so quickly.

So my question is: why is it that the latest Agda code always has to
depend on the very latest of everything else.


        Stefan