diff options
| -rw-r--r-- | docs/implementation/vm.html | 5 | ||||
| -rw-r--r-- | implementation/vm.md | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/docs/implementation/vm.html b/docs/implementation/vm.html index 629c883e..09754fcd 100644 --- a/docs/implementation/vm.html +++ b/docs/implementation/vm.html @@ -679,6 +679,11 @@ <td></td> </tr> <tr> +<td align="right">22</td> +<td><code><span class='Modifier2'>⎊</span></code></td> +<td></td> +</tr> +<tr> <td align="right">—</td> <td><code><span class='Function'>Decompose</span></code></td> <td><code><span class='Function'>•Decompose</span></code></td> diff --git a/implementation/vm.md b/implementation/vm.md index 6fdac4bd..185eb1b0 100644 --- a/implementation/vm.md +++ b/implementation/vm.md @@ -200,6 +200,7 @@ The contents of a core runtime are given below. The names given are those used i | 19 | `` ` `` | | 20 | `_fillBy_` | `𝔽` with result fill computed using `𝔾` | 21 | `⊘` | +| 22 | `⎊` | | — | `Decompose`| `•Decompose` | — | `PrimInd` | Index for primitive `𝕩` |