Установка:

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

sudo apt update
sudo apt install agda-bin
agda-bin — интерфейс командной строки для Agda

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

Интерфейс командной строки для Agda

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

  • libc6

    Библиотека GNU C: общие библиотеки

  • libffi6

    Время работы библиотеки интерфейса внешней функциональности

  • libgmp10

    Многоточечная арифметическая библиотека

  • libtinfo5

    Общая библиотека terminfo низкого уровня для обработки терминала

  • zlib1g

    Библиотека сжатия - время выполнения