Paquet : elpa-ats2-mode (0.3.11-2)

Liens pour elpa-ats2-mode

Ressources Debian :

Télécharger le paquet source ats2-lang :

Responsable :

Matthew Danish (Page QA)

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

dépendances

recommandations

suggestions

enhances

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

GNU Emacs transitional package to emacs-gtk
enh: emacs25

paquet de transition vers emacs-gtk pour GNU Emacs

Télécharger elpa-ats2-mode

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	10,1 ko	47,0 ko	[liste des fichiers]