[ etiona ]
[ nabia ]
[ Zdroj: agda ]
Balík: agda-mode (2.6.0.1-1build4)
Odkazy pre agda-mode
Zdroje Trisquel:
Stiahnuť zdrojový balík agda:
Správca:
Original Maintainer:
- Debian Haskell Group (Konferencia)
Externé zdroje:
- Domovská stránka [wiki.portal.chalmers.se]
Podobné balíky:
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.
Balíky poskytujúce agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Stiahnuť agda-mode
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 3.6 kB | 23 kB | [zoznam súborov] |