 commands</a></li>
<li><a href="http://www.ats-lang.org/RESOURCE#ATS_compile">Compiling projects based on ATS</a></li>
<li><a href="http://www.ats-lang.org/RESOURCE#ATS_courses">Courses about ATS and based on ATS</a></li>
</ul>
</li>

<li><a href="http://www.ats-lang.org/COMMUNITY"><span style="text-decoration: underline">Community</span></a><ul>
<li><a href="http://www.ats-lang.org/COMMUNITY#ATS_mailinglist">Mailing-list for ATS users</a></li>
<li><a href="http://www.ats-lang.org/COMMUNITY#ATS_QandA_forum"