Как загрузить и настроить стандартную библиотеку для Agda в Ubuntu? - PullRequest
Новая
       49

Как загрузить и настроить стандартную библиотеку для Agda в Ubuntu?

0 голосов
/ 29 апреля 2020

Я установил и смог использовать Agda в своей системе Ubuntu через редактор emacs, и пока все выглядит хорошо.

Однако я не могу установить и настроить стандартную библиотеку для него.

После этого: 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 Relation Алгебра.агда Function.agda IO.agdai Size.agda Алгебра.agdai Function.agdai Level.agda Size.agdai Record.agdai Universe.agda Data Induction.agdai Reflection.agda Universe.agdai Foreign IO Reflection.agdai

Чего мне не хватает и как мне поступить?

1 Ответ

0 голосов
/ 01 мая 2020

Версии и Agda, и стандартной библиотеки в диспетчере пакетов Ubuntu довольно устарели. Поэтому вам не следует смешивать версию Agda, установленную через Cabal или Stack, с версией стандартной библиотеки, установленной через менеджер пакетов Ubuntu. Вместо этого вы можете найти правильную версию стандартной библиотеки для вашей версии Agda на https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary. В частности, для 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 можно найти установку.

...