Установка: Для установки agda-mode в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install agda-mode Подробная информация о пакете: Переходный фиктивный пакет для режима elpa-agda2 http://wiki.portal.chalmers.se/agda/ Сентябрь 2018 Источник: packages.ubuntu.com Навигация по записям agenda.appagenda.appagdaagda Зависимости: Нет зависимостей. Открыть список