从源头为非程序员安装Agda-Alex

使用获取alexdarcs获得http://darcs.haskell.org/alex/

然后按照阴谋集团的指示(http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package，即。

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

各种尝试中出现的问题：

1. 有一次安装出现了问题，当时使用的是64位版本的ghc，而不是32位版本的ghc。
2. 在一次安装中出现了一个问题，需要为Linux发行版中的glibc（-devel版本）添加一些附加库（这里我们指的是Suse）。

回到非程序员的Agda安装。