spec.emu

<!doctype html>
<meta charset="utf8">
<link rel="stylesheet" href="./spec.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/8.4/styles/github.min.css">
<script src="./spec.js"></script>
<pre class="metadata">
title: Boolean TypedArray Proposal
stage: -1
contributors: Ricardo Fernández Serrata
</pre>

<emu-clause id="sec-demo-clause">
  <h1>This is an emu-clause</h1>
  <p>This is an algorithm:</p>
  <emu-alg>
    1. Let _proposal_ be *undefined*.
    1. If IsAccepted(_proposal_), then
      1. Let _stage_ be *0*<sub>ℤ</sub>.
    1. Else,
      1. Let _stage_ be *-1*<sub>ℤ</sub>.
    1. Return ? ToString(_proposal_).
  </emu-alg>
</emu-clause>