ats2-postiats-0.4.0:
------------------------------------------------
ATS-Postiats-0.4.0.tgz:
MD5: ed0a8212b23c8ce281b5512eb0dd130f
SHA1: f9a734b6d7040633d16a11c73f06175afe04482f
--
ATS2-Postiats-gmp-0.4.0.tgz:
MD5: 9ae8b64526affc951f33e189b20fa16f
SHA1: 826d529830ba28581708a27c27952a9ed56f916e
--
ATS2-Postiats-int-0.4.0.tgz:
MD5: 3ed68ac11792be0689e43e9a6b3598c1
SHA1: fa41e400676cad30df6566770c4238fd02ecc6de
------------------------------------------------
This is the 51st release of ATS2, the successor of the
ATS programming language. The compiler for ATS2 is given
the name ATS/Positats, ATS2/Postiats or simply Postiats.
The official website for ATS is:
http://www.ats-lang.org
ATS-Postiats is hosted at github:
https://github.com/githwxi/ATS-Postiats
Major releases of ATS2 are available at:
https://sourceforge.net/projects/ats2-lang/
Major releases of external packages for ATS2 are available at:
https://sourceforge.net/projects/ats2-lang-contrib/
Here is a list of major additions and changes since the last release:
1. Improving testing code:
doc/EXAMPLE/ATSLF,
doc/EXAMPLE/INTRO, doc/EXAMPLE/TESTATS
Kudos to Artyom Shalkhakov!
2. Introducing various keywords (e.g., abstflt, absvtflt), which are
used in the implementation of ATS3(ATS/Xanadu)
Please note that starting in this release, there are two variants of
the package released: The "gmp" variant depends on the GMP library and
the "int" variant does not depend on the GMP library. In this release
ATS2-Postiats-0.4.0.tgz is just the same as ATS2-Postiats-int-0.4.0.tgz.