معرفی شرکت ها
ats-lang-anairiats-examples_0.2.11-1.1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Examples for the ATS compiler Anairiats
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main all |
| نام بسته | ats-lang-anairiats-examples |
| نام فایل بسته | ats-lang-anairiats-examples_0.2.11-1.1_all.deb |
| نسخه بسته | 0.2.11 |
| انتشار بسته | 1.1 |
| معماری بسته | all |
| نگهدارنده | Matthew Danish <mrd@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.ats-lang.org |
| مجوز | - |
| حجم دانلود | 250536 |
| حجم نصب | 700 |
ATS 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/Anairiats) is written in ATS itself. It
can be as efficient as C/C++ and supports a variety of programming
paradigms.
.
In addition, ATS contains a component ATS/LF that supports a form of
(interactive) theorem proving, where proofs are constructed as total
functions. With this component, ATS advocates a programming style
that combines programming with theorem proving. Furthermore, this
component may be used as a logical framework to encode various
deduction systems and their (meta-)properties.
.
This package contains some examples of the language.
نیازمندی
| مقدار | نام |
|---|---|
| - |
نحوه نصب
نصب پکیج deb ats-lang-anairiats-examples:
sudo apt-get install ats-lang-anairiats-examples_0.2.11-1.1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/ats-lang-anairiats-examples/changelog.Debian.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/copyright |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_2_13.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_2_14.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_2_4_3.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_3_4.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_3_5.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_3_6_4.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_2_1.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_2_2_1.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_2_2_2.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_2_3.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_3_5.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_7.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_4_8.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_10.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_11.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_15.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_17_3.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_2.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_4.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_6.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_6_3_1.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_6_5.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_1_1.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_1_3.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_1_4.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_2_3.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_2_6.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_3.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_8_1_1.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_8_8_1_2.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_1_1.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_1_7.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_2_3.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_7_1.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_7_2.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_7_4.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_9_7_5.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/Makefile.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/README |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/data/fruits.txt |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/utils/errinfo.cats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/utils/errinfo.dats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/utils/errinfo.sats |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/AUP/utils/getargs.c |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/GTK/GameOf24.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/GTK/Makefile |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/GTK/bsearch_demo.dats.gz |
| ./usr/share/doc/ats-lang-anairiats-examples/examples/GTK/gtkcairoclock.dats.gz |
| ... and 204 more |