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
Merge branch 'master' into translate_ja

Conflicts:
	doc/EXAMPLE/EFFECTIVATS/loop-as-tailrec/main.atxt