Updated atslib (markdown)
Destroyed atslib (markdown)
atslib -> ATSLIB
Updated Frequently asked questions (markdown)
Updated Home (markdown)
Updated ATSLIB (markdown)
Updated compiler errors (markdown)
atslib -> ATSLIB
Some fix
Created internationalization (markdown)
Created languages (markdown)
Updated internationalization (markdown)
Updated languages (markdown)
Updated Home (markdown)
Updated internationalization (markdown)
moving and improving typechecking error demonstrations
moving and improving typechecking error demonstrations
Updated typechecking errors (markdown)
finished annotating #[ ...  | ... ] and examples
A bit more info about ATS2 target language (from what I could gather).