[ etiona ]
[ nabia ]
[ Source: agda ]
Paketti: agda-mode (2.5.3-3build1)
Links for agda-mode
Trisquel-palvelut:
Imuroi lähdekoodipaketti agda:
Ylläpitäjä:
Original Maintainers:
- Debian Haskell Group (Mail Archive)
- Iain Lane
- Kiwamu Okabe
External Resources:
- Kotisivu [wiki.portal.chalmers.se]
Samankaltaisia paketteja:
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.
Paketit, jotka toteuttavat paketin agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Imuroi agda-mode
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 3.5 kt | 23 kt | [tiedostoluettelo] |