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