Установка:

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

sudo apt update
sudo apt install elpa-agda2-mode
Dzen
elpa-agda2-mode — зависимый язык программирования - emacs

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

Зависимый язык программирования - emacs

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

  • agda-bin

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

  • emacsen-common

    Общие условия для всех emacsen

  • libghc-agda-dev

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