ubuntu - 如何在 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 的目录不包含库文件
标准库.agda-lib , 只有以下

Algebra Function IO.agda Relation Algebra.agda Function.agda IO.agdai Size.agda Algebra.agdai Function.agdai Level.agda Size.agdai Category index.agda Level.agdai Strict.agda Coinduction.agda Induction Record.agda Strict.agdai Coinduction.agdai Induction.agda Record.agdai Universe.agda Data Induction.agdai Reflection.agda Universe.agdai Foreign IO Reflection.agdai

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

Answer 1

Agda 和 Ubuntu 包管理器中的标准库的版本都已经过时了。因此，您不应将通过 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 可以找到安装。