></li>
</ul>
</li>

<li><a href="http://www.ats-lang.org/LIBRARY"><span style="text-decoration: underline">Libraries</span></a><ul>
<li><a href="http://www.ats-lang.org/LIBRARY#ATSLIB_prelude">ATSLIB/prelude</a></li>
<li><a href="http://www.ats-lang.org/LIBRARY#ATSLIB_libc">ATSLIB/libc</a></li>
<li><a href="http://www.ats-lang.org/LIBRARY#ATSLIB_libats">ATSLIB/libats</a></li>
<li><a href="http://www.ats-lang.org/LIBRARY#ATSLIB_libats_ML">ATSLIB/libats/ML</a></li>
<li><a href="http://www.ats-lang.org/LIBRARY