## ats2-postiats-0.1.11:

    This is the 20th 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. Fixing a bug in hisexp_is_void
    2. Adding D0Esing for parenthesized expressions
    3. Adding ATS2TUTORIAL-chapter: Linearly typed lists
    4. Adding prelude/tostring for converting values into strings
    5. Adding minimal FRP support based on Bacon.js in libatscc2js
    6. Replacing s2hnf_syneq with s2hnf_syneq2 in [s2hnf_equal_solve_err]
    7. Fixing a bug in patcomplst_subtest: auxlst2: PTCMPreclparen:
       https://groups.google.com/forum/#!topic/ats-lang-users/sI9as4GIOVY
       https://github.com/githwxi/ATS-Postiats/blob/master/doc/BUGS/bug-2015-04-21.dats