Canonical Spec Section

spec.html

<es-intro>
  <p>Introductory matter. Could probably be an intro attribute on clauses</p>
</es-intro>

<es-clause title="Greetings" anchor="sec-greetings">
  <!-- anchor is optional, is calculated for you if you don't specify -->
  <p>Clauses are normative and contain text...</p>
  
  <es-clause title="sub-clause">
    <p>When evaluating <es-nt>BindingElement</es-nt>, you better do it right!</p>
  </es-clause>
  
  <es-note>
    Informative content!
  </es-note>
  
  <es-steps>
    <ol>
      <li>let <var>x</var> be the result calling <a href="#Get">Get</a>(<code>"foo"</code>)</li> 
      <li>return <var>x</var></li>
    <ol>
  </es-steps>
  
  <!-- can also have an inline attribute which will display a single RHS to the right of the colons instead of on its own line -->
  <es-production name="BindingElement" params="Yield, GeneratorParameter">
    <es-rhs>
      <es-nt params="?Yield, ?GeneratorParameter">SingleNameBinding</es-nt>
    </es-rhs>

    <es-rhs constraint="+GeneratorParameter">
      <es-nt params="?Yield, GeneratorParameter">BindingPattern</es-nt> <es-nt params="In" optional>Initialiser</es-nt>
    </es-rhs>

    <es-rhs constraint="~GeneratorParameter">
      <es-nt params="?Yield">BindingPattern</es-nt> <es-nt params="In, ?Yield" optional>Initialiser</es-nt>
    </es-rhs>
  </es-production>
  
</es-clause>

<es-clause annex>
  <p>Normative annex</p>
</es-clause>

<es-clause annex informative>
  <p>Informative annex</p>
</es-clause>

with-shorthand.html

<es-intro>
  <p>Introductory matter. Could probably be an intro attribute on clauses</p>
</es-intro>

<es-clause title="Greetings" anchor="sec-greetings">
  <!-- anchor is optional, is calculated for you if you don't specify -->
  <p>Clauses are normative and contain text...</p>
  
  <es-clause title="sub-clause">
    <p>When evaluating *BindingElement*, you better do it right!</p>
  </es-clause>
  
  <es-note>
    Informative content!
  </es-note>
  
  <es-steps>
    0. let _x_ be the result calling Get(_obj_, `"foo"`)
    0. return _x_
  </es-steps>
  
  <!-- can also have an inline attribute which will display a single RHS to the right of the colons instead of on its own line -->
  <es-production name="BindingElement" params="Yield, GeneratorParameter">
    <es-rhs>
      <es-nt params="?Yield, ?GeneratorParameter">SingleNameBinding</es-nt>
    </es-rhs>

    <es-rhs constraint="+GeneratorParameter">
      <es-nt params="?Yield, GeneratorParameter">BindingPattern</es-nt> <es-nt params="In" optional>Initialiser</es-nt>
    </es-rhs>

    <es-rhs constraint="~GeneratorParameter">
      <es-nt params="?Yield">BindingPattern</es-nt> <es-nt params="In, ?Yield" optional>Initialiser</es-nt>
    </es-rhs>
  </es-production>
  
</es-clause>

<es-clause annex>
  <p>Normative annex</p>
</es-clause>

<es-clause annex informative>
  <p>Informative annex</p>
</es-clause>