#ATSLIB_libatslex">ATSLIB/libatslex</a></li>
<li><a href="http://www.ats-lang.org/LIBRARY#ATSLIB_contrib">ATSLIB/contrib</a></li>
</ul>
</li>

<li><a href="http://www.ats-lang.org/RESOURCE"><span style="text-decoration: underline">Resources</span></a><ul>
<li><a href="http://www.ats-lang.org/RESOURCE#ATS_edit">Editing ATS source code</a></li>
<li><a href="http://www.ats-lang.org/RESOURCE#ATS_view">Viewing ATS source code</a></li>
<li><a href="http://www.ats-lang.org/RESOURCE#ATS_utility">ATS-related utility