Установка:
Для установки agda-stdlib-doc в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install agda-stdlib-doc
Подробная информация о пакете:
Стандартная библиотека для Agda - документация
-
Зависимости:
- Нет зависимостей.