diff options
| -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 |