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