rong>The ATS Programming Language</strong>
</div>
<div id="thePageHeaderByTitle">
<strong>Unleashing the Potentials of Types and Templates!</strong>
</div>

</div><!--thePageHeaderTitle-->
</td>
</tr>

<tr>
<td>
<div id="thePageHeaderSeparator">
<div class="Page-mysitelinks">
<ul id="jsddm2">
<li><a href="#"><strong>Home</strong></a></li>

<li><a href="http://www.ats-lang.org/DOWNLOAD"><span style="text-decoration: underline">Download</span></a><ul>
<li><a href="http://www.ats-lang.org/DOWNLOAD#ATS_packages