如何在 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,只有下面的

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

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

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

How do I download and set up the standard library for Agda in Ubuntu?

ubuntu

agda