如何下载并设置Ubuntu中的Agda标准库？
我已经安装并能够通过emacs编辑器在我的Ubuntu系统上使用Agda，到目前为止一切似乎都很好。
但是，我无法为它安装和设置标准库。
下面是：https://agda.readthedocs.io/en/v2.6.1/getting-started/installation.html我试过了
apt-get install agda-stdlib这是可行的，但随后我尝试这样做：https://agda.readthedocs.io/en/latest/tools/package-system.html和apt所安装的目录似乎不包含一个库文件https://agda.readthedocs.io/en/latest/tools/package-system.html，只包含以下内容
代数函数IO.agda关系Algebra.agda Function.agda IO.agdai Size.agda Algebra.agdai Function.agdai Level.agda Size.agdai类别index.agda Level.agdai Strict.agda Coinduction.agda诱导Record.agda Strict.agdai Coinduction.agdai Record.agdaData Induction.agdai Reflection.agda Universe.agdai Foreign IO Reflection.agdai
我遗漏了什么，我该怎么做？
回答 1
Stack Overflow用户
发布于 2020-05-01 06:56:29
Ubuntu包管理器中Agda和标准库的版本都非常过时。因此，您不应该将通过Cabal或Stack安装的Agda版本与通过Ubuntu的包管理器安装的标准库版本混合使用。相反，您可以在https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary上为您的Agda版本找到标准库的正确版本。具体来说，对于Agda 2.6.1，您需要标准库版本1.3，您可以从Github安装它：
git clone https://github.com/agda/agda-stdlib.git
git checkout tags/v1.3然后按照https://agda.readthedocs.io/en/latest/tools/package-system.html的说明，确保Agda能够找到安装。
https://stackoverflow.com/questions/61503584
复制相似问题
腾讯云开发者
