[ etiona ]
[ nabia ]
[ Källkod: agda ]
Paket: agda-mode (2.5.3-3build1)
Länkar för agda-mode
Trisquelresurser:
Hämta källkodspaketet agda:
Ansvarig:
Original Maintainers:
- Debian Haskell Group (E-postarkiv)
- Iain Lane
- Kiwamu Okabe
Externa resurser:
- Hemsida [wiki.portal.chalmers.se]
Liknande paket:
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.
Paket som tillhandahåller agda-mode
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Hämta agda-mode
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 3,5 kbyte | 23 kbyte | [filförteckning] |