使用获取alexdarcs获得http://darcs.haskell.org/alex/
darcs获得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安装
各种尝试中出现的问题:
回到非程序员的Agda安装。
阿格达
编辑提要栏