|
Distribution |
Debian testing |
Abteilung |
devel |
Quelle |
ats-lang-anairiats |
Version |
0.1.8-1 |
Maintainer |
Matthew Danish <mrd@debian.org>
|
Beschreibung |
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 the compiler atsopt, frontend atscc, lexer atslex, and library utility atslib.
|
Abhängig von | libc6 (>= 2.3), libgmp3c2 | Recommends | libgmp3-dev, libpcre3-dev |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|