[ etiona ]
[ nabia ]
[ Bron: agda ]
Pakket: agda-mode (2.5.3-3build1)
Verwijzigingen voor agda-mode
Trisquel bronnen:
Het bronpakket agda downloaden:
Beheerder:
Original Maintainers:
- Debian Haskell Group (Mailarchief)
- Iain Lane
- Kiwamu Okabe
Externe bronnen:
- Homepage [wiki.portal.chalmers.se]
Vergelijkbare pakketten:
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.
Pakketten die agda-mode bieden:
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode