[Agda] Dependencies for compiling agda, principal question

[Darin Morrison]

On 20 Apr 2010, at 10:56, James McKinna wrote:

> They are surely a much bigger team, but even so, I support the idea of a release version for "the rest of us".

David was talking about the darcs version, not the release version.

Is there some reason you feel the current release version (2.2.6) is not already accessible enough?

Cheers,
Darin