Updating: implementing array_quicksort.
Updating: improving contrib/atshwxi/intinf.
Updating: improving contrib/atshwxi/intinf.
Updating: adding some missing files.
Updating: documenting contrib/atshwxi/intinf
Updating: fixing a potential glitch in prelude/array_quicksort.
Updating: improving contrib/atshwxi/intinf.
Updating: improving contrib/atshwxi/intinf
Updating: improving contrib/atshwxi/intinf
Updating: fixing issues with compiling included code.
Updating: improving libats/linmap_skiplist.
Updating: improving libats/linmap_skiplist.
Updating: fixing handling of ATS_PACKNAME.
Updating: adding a PE-example.
Updating: adding a simple MISC-example.
Updating: very minor.
Updating: improving libats/sllist.
Updating: adding libc/math.
Started to add some contrived examples for type checking
Merge branch 'master' of github.com:githwxi/ATS-Postiats