Установка:

Для установки agda-stdlib в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install agda-stdlib
agda-stdlib — стандартная библиотека для Agda

Подробная информация о пакете:

Стандартная библиотека для Agda

  • Зависимости:

  • libghc-agda-dev

    Зависимый язык функционального программирования