Ubuntu
ats2-lang package

ats2-lang 0.2.6-1 source package in Ubuntu

Changelog

ats2-lang (0.2.6-1) unstable; urgency=medium

  * New upstream release

 -- Matthew Danish <email address hidden>  Thu, 11 Feb 2016 15:36:13 +0000

Upload details

Uploaded by:
Matthew Danish
Uploaded to:
Sid
Original maintainer:
Matthew Danish
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
ats2-lang_0.2.6-1.dsc 1.7 KiB 2d7e077a21795bcbdedbbd873a9f04e5559506e4e0fed98972124eb668a70fb9
ats2-lang_0.2.6.orig.tar.gz 3.3 MiB 3179a33eb059992bbab0a172fc0daecc562d9d255797bfda4cabe69e2be2ca41
ats2-lang_0.2.6-1.debian.tar.xz 5.8 KiB 080e7e794eef75ef5fd76a232f0795d87bad0d38174acf688128f65fd16cfa7f

Available diffs

No changes file available.

Binary packages built by this source

ats2-lang: ATS version 2 programming language compiler

 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.
 .
 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 patsopt and the frontend patscc, as well as
 the emacs mode for the language.

ats2-lang-dbgsym: debug symbols for package ats2-lang

 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.
 .
 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 patsopt and the frontend patscc, as well as
 the emacs mode for the language.