Updating: minorly fixing
Updating: minorly fixing
Updating: minorly fixing
Updating: very minorly tidying-up
Updating: compiling list-patterns is supported
Updating: minorly improving
Updating: minorly tidying-up
Updating: renaming a file
Updating: very minorly improving
Updating: very minorly tidying-up
Updating: minorly tidying-up
Updating: improving lexing of numbers in oct representation
Updating: very minorly tidying-up
Updating: minorly improving
Updating: tidying-up a bit
Updating: minorly improving prelude/integer
Updating: adding a ATS-QA-list example
Updating: minorly tidying-up
Updating: improving libats/deqarray
Updating: very minorly tidying-up