[ Source: ats2-lang ]
Package: elpa-ats2-mode (0.4.2-1.1)
Links for elpa-ats2-mode
Debian Resources:
Download Source Package ats2-lang:
Maintainer:
External Resources:
- Homepage [www.ats-lang.org]
Similar packages:
ATS version 2-programmeringssprog - emacs-tilstand
ATS2 a.k.a. ATS/Postiats er et programmeringssprog med et meget udtryksfuldt indtastningssystem med rødder i rammen Applied Type System. Specielt, både afhængighedstyper og lineære typer er tilgængelige i ATS. Den nuværende implementering af ATS (ATS/Postiats) er selv skrevet i ATS (ATS/Anairiats). Sproget kan være effektivt som C/C++ og understøtter en række programmeringsparadigmer.
Denne pakke indeholder emacs-tilstanden for ATS2.
Other Packages Related to elpa-ats2-mode
|
|
|
|
-
- dep: dh-elpa-helper
- Hjælpepakke for emacs lisp-udvidelser
-
- dep: emacsen-common
- Fælles faciliteter for alle slags emacsen
-
- rec: emacs (>= 46.0)
- GNU Emacs-redigeringsværktøjet - metapakke
also a virtual package provided by emacs-gtk, emacs-lucid, emacs-nox
-
- enh: emacs
- GNU Emacs-redigeringsværktøjet - metapakke
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.8 kB | 47.0 kB | [list of files] |