ATS2-0.2.13

## 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