معرفی شرکت ها

elpa-ats2-mode_0.3.11-2_all.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

ATS version 2 programming language emacs mode
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main all
نام بسته elpa-ats2-mode
نام فایل بسته elpa-ats2-mode_0.3.11-2_all.deb
نسخه بسته 0.3.11
انتشار بسته 2
معماری بسته all
نگهدارنده Matthew Danish <mrd@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.ats-lang.org/
مجوز -
حجم دانلود 10308
حجم نصب 47
ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . This package contains the emacs mode for ATS2.


نیازمندی

مقدار نام
- emacsen-common


نحوه نصب


نصب پکیج deb elpa-ats2-mode:

    sudo apt-get install elpa-ats2-mode_0.3.11-2_all.deb


فایل ها

مسیرها
./usr/lib/emacsen-common/packages/compat/elpa-ats2-mode
./usr/lib/emacsen-common/packages/install/elpa-ats2-mode
./usr/lib/emacsen-common/packages/remove/elpa-ats2-mode
./usr/share/doc/elpa-ats2-mode/changelog.Debian.gz
./usr/share/doc/elpa-ats2-mode/copyright
./usr/share/emacs/site-lisp/elpa-src/ats2-mode-1.0/ats2-mode-autoloads.el
./usr/share/emacs/site-lisp/elpa-src/ats2-mode-1.0/ats2-mode-pkg.el
./usr/share/emacs/site-lisp/elpa-src/ats2-mode-1.0/ats2-mode.el