diff options
Diffstat (limited to 'implementation/vm.md')
| -rw-r--r-- | implementation/vm.md | 2 |
1 files changed, 1 insertions, 1 deletions
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 |