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