

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
   "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<title>The ATS Programming Language</title>
<link rel="stylesheet" type="text/css" href="http://www.ats-lang.org/styles/atslangweb_home.css" />
<script
src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"
></script>
<script
src="http://www.ats-lang.org/scripts/atslangwe