vbar" class="navbar-collapse collapse">
      <ul class="nav navbar-nav"><li>
  <a href="https://tlverse.org" class="external-link">tlverse</a>
</li>
<li>
  <a href="../articles/intro_hal9001.html">Overview</a>
</li>
<li>
  <a href="../articles/index.html">Articles</a>
</li>
<li>
  <a href="../reference/index.html">Reference</a>
</li>
      </ul><ul class="nav navbar-nav navbar-right"><li>
  <a href="https://github.com/tlverse/hal9001" class="external-link">
    <span class="fa fa-github fa-lg"></span>

  <