非程序员从源安装Agda-快速检查

使用获取快速检查darcs get—部分http://darcs.haskell.org/QuickCheck（快速检查）

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

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

回到非程序员的Agda安装。