[ Source: ats2-lang ]
Package: elpa-ats2-mode (0.4.0-1)
Links for elpa-ats2-mode
Debian Resources:
Download Source Package ats2-lang:
Maintainer:
External Resources:
- Homepage [www.ats-lang.org]
Similar packages:
modalità Emacs per il linguaggio di programmazione ATS versione 2
ATS2, noto anche come ATS/Postiats, è un linguaggio di programmazione con un sistema di tipi altamente espressivo radicato nell'infrastruttura dell'Applied Type System. In particolare, in ATS sono disponibili sia i tipi dipendenti sia i tipi lineari. L'attuale implementazione di ATS (ATS/Postiats) è scritta con lo stesso ATS (ATS/Anairiats). Può essere efficiente quanto il C/C e gestisce svariati paradigmi di programmazione.
Questo pacchetto contiene la modalità Emacs per ATS2.
Other Packages Related to elpa-ats2-mode
|
|
|
|
-
- dep: dh-elpa-helper
- pacchetto ausiliario per estensioni Emacs Lisp
-
- dep: emacsen-common
- funzionalità comuni per tutti gli emacs
-
- rec: emacs (>= 46.0)
- editor GNU Emacs (metapacchetto)
also a virtual package provided by emacs-gtk, emacs-lucid, emacs-nox
-
- enh: emacs
- editor GNU Emacs (metapacchetto)
also a virtual package provided by emacs-gtk, emacs-lucid, emacs-nox
-
- enh: emacs24
- Package not available
-
- enh: emacs25
- Package not available
Download elpa-ats2-mode
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 9.7 kB | 46.0 kB | [list of files] |