如何在 Ubuntu 中为 Agda 下载和设置标准库？

Question

我已经通过 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-get 似乎安装 agda-stdlib 的目录不包含库文件 standard-library.agda-lib，只有以下

代数函数 IO.agda 关系 代数.agda Function.agda IO.agdai Size.agda 代数.agdai Function.agdai Level.agda Size.agdai 分类索引.agda Level.agdai Strict.agda Coinduction.agda 感应记录.agda Strict.agdai Coinduction.agdai Induction.agda Record.agdai Universe.agda 数据归纳.agdai Reflection.agda Universe.agdai 国外IO Reflection.agdai

我错过了什么，我应该如何继续？

Answer 1

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 可以找到安装。