[ etiona ]
[ nabia ]
[ Источник: agda ]
Пакет: agda-mode (2.6.0.1-1build4)
Ссылки для agda-mode
Ресурсы Trisquel:
Исходный код agda:
Сопровождающий:
Original Maintainer:
- Debian Haskell Group (Почтовый архив)
Внешние ресурсы:
- Сайт [wiki.portal.chalmers.se]
Подобные пакеты:
transitional dummy package for elpa-agda2-mode
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
Пакеты, предоставляющие agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Загрузка agda-mode
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
all | 3,6 Кб | 23 Кб | [список файлов] |