[Agda] Dependencies for compiling agda, principal question

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Tue Apr 20 16:30:26 CEST 2010


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


More information about the Agda mailing list