Ubuntu
ats2-lang package

ats2-lang 0.4.2-1.1 source package in Ubuntu

Changelog

ats2-lang (0.4.2-1.1) unstable; urgency=medium

  * Non-maintainer upload.
  * source only upload to enable migration (Closes: #1006624)

 -- Paul Gevers <email address hidden>  Mon, 28 Feb 2022 21:22:33 +0100

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc
Mantic release universe misc
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
ats2-lang_0.4.2-1.1.dsc 1.6 KiB 6cb47bf4c7b4ecb311ed4f2917fb45bf94cbe39e591b62e290929611586c0ff6
ats2-lang_0.4.2.orig.tar.gz 4.3 MiB 51b8e75e62321f5e3e97d7996d605c46a90c6721b568b9b52fe00c19944134d3
ats2-lang_0.4.2-1.1.debian.tar.xz 33.7 KiB 0056e14d50e66b5997020c67d2b3a99592817e52b52e533a70c38784b0fc03c5

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.

ats2-lang-dbgsym: No summary available for ats2-lang-dbgsym in ubuntu kinetic.

No description available for ats2-lang-dbgsym in ubuntu kinetic.

elpa-ats2-mode: No summary available for elpa-ats2-mode in ubuntu kinetic.

No description available for elpa-ats2-mode in ubuntu kinetic.