[ etiona ]
[ nabia ]
[ Source: agda ]
Пакунок: agda-mode (2.6.0.1-1build4)
Links for agda-mode
Trisquel Resources:
Download Source Package agda:
Maintainer:
Original Maintainer:
- Debian Haskell Group (Mail Archive)
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
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 kB | 23 kB | [список файлів] |