ats-lang-anairiats 0.2.11-1 source package in Ubuntu
Changelog
ats-lang-anairiats (0.2.11-1) unstable; urgency=low * New upstream release -- Matthew Danish <email address hidden> Thu, 10 Oct 2013 16:11:17 -0400
Upload details
- Uploaded by:
- Matthew Danish
- Uploaded to:
- Sid
- Original maintainer:
- Matthew Danish
- Architectures:
- any all
- Section:
- devel
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | devel | |
Trusty | release | universe | devel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ats-lang-anairiats_0.2.11-1.dsc | 1.5 KiB | e2b641a7d1d2efd25a868c8b69eeb2435a337529408db47c3c468a464108492f |
ats-lang-anairiats_0.2.11.orig.tar.gz | 2.6 MiB | d74922ef36f375f41d69dd33a243f414f182560c93cb1a12260a425552318622 |
ats-lang-anairiats_0.2.11-1.debian.tar.gz | 17.3 KiB | 227b5ee19dbd6bf8a60a2419b47162547683efca1e5e615d5d4887de7c01ad23 |
Available diffs
- diff from 0.2.9-1 to 0.2.11-1 (2.2 MiB)
No changes file available.
Binary packages built by this source
- ats-lang-anairiats: Legacy ATS v1 language compiler, named Anairiats
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, the frontend atscc, and
the lexer atslex.
.
This is the final release of ATS1. Please migrate your code to ATS2/Postiats,
the compiler frontend patscc (patsopt), in the package ats2-lang. This
package is for legacy code and bootstrapping purposes.
- ats-lang-anairiats-dbgsym: debug symbols for ats-lang-anairiats
- ats-lang-anairiats-doc: Documentation for the ATS compiler Anairiats
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 documentation for the language.
- ats-lang-anairiats-examples: No summary available for ats-lang-anairiats-examples in ubuntu zesty.
No description available for ats-lang-
anairiats- examples in ubuntu zesty.