如何在 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 关系 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 Induction.agda Record.agdai Universe.agda 数据 Induction.agdai Reflection.agda Universe.agdai 外部 IO Reflection.agdai

我缺少什么以及我应该如何进行？

Answer 1

The versions of both Agda and the standard library in the Ubuntu package manager are quite outdated. So you should not mix a version of Agda installed via Cabal or Stack with a version of the standard library installed via Ubuntu's package manager. Instead, you can find the right version of the standard library for your version of Agda on https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary. Specifically, for Agda 2.6.1 you need the standard library version 1.3, which you can install from Github:

git clone https://github.com/agda/agda-stdlib.git
git checkout tags/v1.3

and then follow the instructions at https://agda.readthedocs.io/en/latest/tools/package-system.html to make sure Agda can find the installation.