Установка:

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

sudo apt update
sudo apt install agda-mode
Dzen
agda-mode — переходный фиктивный пакет для режима elpa-agda2

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

Переходный фиктивный пакет для режима elpa-agda2

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

  • Нет зависимостей.