Updating: very minorly improving
Updating: very minorly improving
Updating: minorly fixing
Updating: merging
Updating: fixing typos in ATS2TUTORIAL
Updating: improving libc/alloca
Updating: minorly fixing
Updating: adding libats/SATS/locking.sats
Updating: libats/locking -> libats/athread
Updating: adding list0_mapcons
Updating: adding list0_mapcons
Updating: working in EFFECTIATS/sorting-linear-lists
Updating: improving prelude/list_vt
Updating: improving prelude/list_vt
Updating: improving EFFECTIVATS/sorting-linear-lists
Updating: improving EFFECTIVATS/sorting-linear-lists
Updating: quicksort_*.dats
Updating: testing for EFFECTIVATS/sorting-linear-lists in travis-ci
Updating: improving prelude/filebas
Updating: working on libats/athread