[ Paquet source : ats2-lang ]
Paquet : elpa-ats2-mode (0.4.0-1)
Liens pour elpa-ats2-mode
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source ats2-lang :
Responsable :
Ressources externes :
- Page d'accueil [www.ats-lang.org]
Paquets similaires :
mode d’Emacs pour le langage de programmation ATS version 2
ATS2 (« ATS/Postiats ») est un langage de programmation avec un système de types très expressif intégré dans le cadriciel Applied Type System. En particulier, les types dépendants et linéaires sont disponibles dans ATS. L'implémentation actuelle d'ATS (ATS/Postiats) est écrite en ATS (ATS/Anairiats) lui-même. Il peut être aussi efficace que le C et le C et prend en charge un grand nombre de paradigmes de programmation.
Ce paquet fournit le mode d’Emacs pour ATS2.
Autres paquets associés à elpa-ats2-mode
|
|
|
|
-
- dep: dh-elpa-helper
- helper package for emacs lisp extensions
-
- dep: emacsen-common
- code commun à toutes les versions d'Emacs
-
- rec: emacs (>= 46.0)
- éditeur GNU Emacs – métapaquet
un paquet virtuel est également fourni par emacs-gtk, emacs-lucid, emacs-nox
-
- enh: emacs
- éditeur GNU Emacs – métapaquet
un paquet virtuel est également fourni par emacs-gtk, emacs-lucid, emacs-nox
-
- enh: emacs24
- Paquet indisponible
-
- enh: emacs25
- Paquet indisponible
Télécharger elpa-ats2-mode
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 9,7 ko | 46,0 ko | [liste des fichiers] |