[Agda] Dependencies for compiling agda, principal question

[Nils Anders Danielsson]

On 2010-04-20 10:56, James McKinna wrote:
> For my money (and more importantly: time) it would good to avoid the
> current ghc6.12/cabal installation mess affecting other software, such
> as agda.

What mess are you referring to? I would also like to avoid messy
installations, but I need more information to be able to do something
about it.

--
/NAD