如何在 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 數據 Induction.agdai Reflection.agda Universe.agdai 國外 IO Reflection.agdai

我錯過了什么，我應該如何繼續？

Answer 1

Agda 和 Ubuntu package 管理器中的標准庫的版本都已經過時了。 因此，您不應將通過 Cabal 或 Stack 安裝的 Agda 版本與通過 Ubuntu 的 package 管理器安裝的標准庫版本混用。 相反，您可以在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 可以找到安裝。