deploy: ee0322c

Wasm-DSL · May 27, 2024 · 3d7b5e6 · 3d7b5e6
1 parent f2a00f9
commit 3d7b5e6
Show file tree

Hide file tree

Showing 6 changed files with 124 additions and 116 deletions.
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/searchindex.js b/core/searchindex.js
diff --git a/core/syntax/types.html b/core/syntax/types.html
@@ -292,7 +292,6 @@ <h3>Conventions<a class="headerlink" href="#id3" title="Permalink to this headin
 &amp; {\href{../syntax/types.html#syntax-subtype}{\mathit{subtype}}} &amp;::=&amp; \href{../syntax/types.html#syntax-subtype}{\mathsf{sub}}~{\href{../syntax/types.html#syntax-subtype}{\mathsf{final}}^?}~{{\href{../syntax/types.html#syntax-typeuse}{\mathit{typeuse}}}^\ast}~{\href{../syntax/types.html#syntax-comptype}{\mathit{comptype}}} \\
 \end{array}\end{split}\]</div>
 <p>In a <a class="reference internal" href="modules.html#syntax-module"><span class="std std-ref">module</span></a>, each member of a recursive type is assigned a separate <a class="reference internal" href="modules.html#syntax-typeidx"><span class="std std-ref">type index</span></a>.</p>
-<p>The syntax of sub types is <a class="reference internal" href="../valid/conventions.html#syntax-heaptype-ext"><span class="std std-ref">generalized</span></a> for the purpose of specifying <a class="reference internal" href="../valid/index.html#valid"><span class="std std-ref">validation</span></a> and <a class="reference internal" href="../exec/index.html#exec"><span class="std std-ref">execution</span></a>.</p>
 </section>
 <section id="limits">
 <span id="syntax-limits"></span><span id="index-11"></span><h2>Limits<a class="headerlink" href="#limits" title="Permalink to this heading">¶</a></h2>