## ats2-postiats-0.3.7:

    This is the 44th 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. Extending prelude/stream_vt with more functions
    2. Improving ${PATSHOME}/contrib/libatscc2php/ATS2-0.3.2
    3. Supporting the following style of function interface declaration:
       extern
       fun swap_boxed{a,b:type}(xy: (a, b)): (b, a)
       (
       Note that (a, b) needs to be replaced with @(a, b) at this point
       )
    4. Adding stream-processing functions in prelude and libats/ML
    5. Hosting for ats-lang.org moved from OPENSHIFT2 to OPENSHIFT3
    6. In progress:
       A Functional Crash into ATS: ${PATSHOME}/doc/BOOK/ATS2FUNCRASH
    7. Atscc2r34 (for transpiling ATS into R) is functioning and it is
       expected to be improved gradually.
    8. Improving ATSLIB/libats/ML: more list0-combinators; printing stuff