[ buster ]
[ Источник: agda ]
Пакет: agda-mode (2.5.4.1-3)
Ссылки для agda-mode
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код agda:
Сопровождающий:
Внешние ресурсы:
- Сайт [wiki.portal.chalmers.se]
Подобные пакеты:
пустой переходный пакет для elpa-agra2-mode
agda-mode добавлен в архив ELPA. См. пакет elpa-agda2-mode. Это переходный пакет и его можно безопасно удалить.
Пакеты, предоставляющие agda-mode
- elpa-agda2-mode
- функциональный язык программирования с зависимыми типами — режим emacs
Загрузка agda-mode
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 114,9 Кб | 122,0 Кб | [список файлов] |