从源代码为非程序员安装Agda-Happy

从中获得快乐http://www.haskell.org/happy网站/

下载源代码发行版，做焦油xvfz.然后按照阴谋集团的指示(http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package，即。

runghc Setup.lhs配置runghc Setup.lhs内部版本runghc Setup.lhs安装

返回到回到非程序员的Agda安装。