## ats2-postiats-0.2.1:

    0.2.1

    This is the 24th 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 support for $solver_asssert and $solver_verify
       This is mainly to facilitate the use of ATS-extsolve-z3
    2. Fixing [s2exp_hnfize_app] in [pats_staexp2_util2.dats]
    3. Adding testing code: doc/EXAMPLE/ATSLIB/libats_gflist.dats
    4. Adding various matrix-functions to libatscc/matrixref
    5. Adding prelude/grandom (for generating lists and arrays randomly)
    6. Atscc2erl (from ATS to Erlang) is functioning!
    7. Libatscc2erl is created to work with Atscc2erl
    8. Supporting --tlcalopt-disable + fnx (important for atscc2erl)