Installation of Agda from Source for Non-Programmers - Happy

Obtain happy from http://www.haskell.org/happy/

Download the source distribution, do tar xvfz. Then follow the cabal instructions (http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package, i.e.

                runghc Setup.lhs configure 
                runghc Setup.lhs build 
                runghc Setup.lhs install 

Back to Back to installation of Agda from source for non-programmers.