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 /implementation/vm.md | |
| parent | 112c35736299e1a30b7edd8a47b09fc5d14b5534 (diff) | |
r1 requires ambivalent + for +○IsArray and other arithmetic (fixes #40)
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 |