[ etiona ]
[ nabia ]
[ Paquet source : agda ]
Paquet : agda-mode (2.5.3-3build1)
Liens pour agda-mode
Ressources Trisquel :
Télécharger le paquet source agda :
Responsable :
Original Maintainers:
- Debian Haskell Group (Archive du courrier électronique)
- Iain Lane
- Kiwamu Okabe
Ressources externes :
- Page d'accueil [wiki.portal.chalmers.se]
Paquets similaires :
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.
Paquets fournissant agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Télécharger agda-mode
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 3,5 ko | 23 ko | [liste des fichiers] |