*ATS [#l46a4d9b]

-[[The ATS Programming Language:http://www.ats-lang.org/]]