[英]Problems compiling with Agda
我个人建议您通过haskell的Cabal安装agda
(您可以通过安装haskell-platform
来安装它,而安装haskell会安装ghc)。 由debian维护的agda软件包当前已损坏,并且标准库有问题。
cabal update
cabal install agda
您可以通过apt install
同时安装标准库和agda-mode
。 完成所有这些操作后(请记住,cabal将编译agda,因此将需要一些时间),然后将标准库添加到agda的本地设置中。 打开emacs并加载文件以进行类型检查,或者如果它具有可执行代码,则将其编译。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.