Re: Agda fails to install

Hi Dominic,

I thought cabal was supposed to relieve me of this sort of dependency chasing?

See http://hackage.haskell.org/trac/hackage/ticket/227 Executive summary: cabal doesn't do dependency chasing for build tool dependencies (yet), only package dependencies. Cheers, /Niklas