s="current">
<li class="toctree-l1"><a class="reference internal" href="README.html">Introduction</a><ul>
<li class="toctree-l2"><a class="reference internal" href="README.html#getting-started">Getting Started</a><ul>
<li class="toctree-l3"><a class="reference internal" href="README.html#installation">Installation</a></li>
<li class="toctree-l3"><a class="reference internal" href="README.html#your-first-padl-program">Your first PADL program</a></li>
<li class="toctree-l3"><a class="reference internal" href=