[Agda] install trouble

[Wouter Swierstra]

 > snip

Why isn't Agda on Hackage (the central repository of Haskell  
programs)? This would allow people with an internet connection and  
working cabal install to simply type:

   cabal install Agda

which would resolve the dependencies, fetch the sources, build and  
install the Agda binary. You'd still need to copy the emacs mode to  
the right place manually, but that isn't too hard. This would really  
make it much easier for Haskell users to try out Agda.

   Wouter