Updating: minorly fixing
Updating: very very minor typo
Merge branch 'master' of https://github.com/githwxi/ATS-Postiats into ats2json
Updating: minorly improving
Merge branch 'master' of https://github.com/githwxi/ATS-Postiats into ats2json
Small change to jsonize type
Merge pull request #31 from wdblair/master

Small change to jsonize type
Updating: very minorly improving
Updating: minor fix: ATSHOME for PATSHOME if the latter is undefined.
Merge branch 'master' of https://github.com/githwxi/ATS-Postiats into ats2json
Updating: minorly adjusting
Updating: keeping-up-to-date
Updating: improving UTFPL/eval
Updating: adding a missing file
Updating: merging
Updating: improving UTFPL
Updating: minor addition
Updating: minorly improving
Updating: minor changes
Updating: minor adjustment