Установка:
Для установки elpa-agda2-mode в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Зависимый язык программирования - emacs
-
Зависимости:
-
Интерфейс командной строки для Agda
-
Общие условия для всех emacsen
-
Зависимый язык функционального программирования