Please see here for installation instructions.
For emacsagda to work you need emacs version 20.4 or later and Glasgow Haskell Compiler version 5.02 or later ( http://www.haskell.org/ghc/)
At http://www.coverproject.org/Agda/ the latest and very experimental version of Agda can be found.