ats2-postiats-0.2.13:

0.2.13

This is the 36th 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. Adding a parsing-combinator package for libats.
2. Adding a parsing-combinator package for libatscc.
3. ATS2-contrib/ats2cpp is significantly improved and ready for real
   use. For instance, it is used in a project involving OpenCV.
4. Adding libats/BUCS320/GraphSearch for teaching graph-based search.
5. Adding libatscc/BUCS320/GraphSearch for:
   atscc2js, atscc2py3, atscc2php, atscc2clj, atscc2scm, and atscc2pl
6. Re-fixing bug-2016-06-26 // see pats_trans3_util.dats for comment