diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-09 21:32:56 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-09 21:32:56 -0500 |
| commit | fffc462cdbac2947cef88e0637d5b50faa1fb041 (patch) | |
| tree | b1a8fc62403aeb21bd855f102fda394f744502d2 | |
| parent | 112c35736299e1a30b7edd8a47b09fc5d14b5534 (diff) | |
r1 requires ambivalent + for +○IsArray and other arithmetic (fixes #40)
| -rw-r--r-- | docs/implementation/vm.html | 2 | ||||
| -rw-r--r-- | implementation/vm.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/implementation/vm.html b/docs/implementation/vm.html index 09754fcd..9ca406a0 100644 --- a/docs/implementation/vm.html +++ b/docs/implementation/vm.html @@ -601,7 +601,7 @@ <tr> <td align="right">6</td> <td><code><span class='Function'>+</span></code></td> -<td>On two atoms</td> +<td>On one or two atoms</td> </tr> <tr> <td align="right">7</td> diff --git a/implementation/vm.md b/implementation/vm.md index 185eb1b0..7c6226b9 100644 --- a/implementation/vm.md +++ b/implementation/vm.md @@ -184,7 +184,7 @@ The contents of a core runtime are given below. The names given are those used i | 3 | `GroupLen` | `≠¨⊔𝕩` for a valid list `𝕩`, with minimum length `𝕨` | 4 | `GroupOrd` | `∾⊔𝕩` provided `𝕨` is `l GroupLen 𝕩` (any `l`) | 5 | `!` | -| 6 | `+` | On two atoms +| 6 | `+` | On one or two atoms | 7 | `-` | On one or two atoms | 8 | `×` | On two atoms | 9 | `÷` | On one or two atoms |