AgdaFromSourceGhc的安装

（：非程序员从源安装Agda-Ghc:）

您可以在一些Linux发行版（例如Suse）上直接获得ghc。使用二进制文件中的ghc 6.8.2。确保使用使用libreadline.so.5的版本，而不是libredline.so.4。

回到非程序员的Agda安装。