diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-14 12:30:35 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-14 12:30:35 -0500 |
| commit | 83d24f62cbe1156fee2c0c8c1117fd156a700f1c (patch) | |
| tree | 529dbe32cdc7a9c9b94cb1e88f68cbdf16d79d40 | |
| parent | 4c3b4318c824938a6f08e03ab52bf79c77488403 (diff) | |
Use (G H) instead of (F G) for 2-trains in VM doc
| -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 9ca406a0..b6875235 100644 --- a/docs/implementation/vm.html +++ b/docs/implementation/vm.html @@ -415,7 +415,7 @@ <tr> <td align="right">14</td> <td>TR2D</td> -<td><code><span class='Value'>g</span> <span class='Value'>f</span> <span class='Gets'>→</span> <span class='Paren'>(</span><span class='Function'>F</span> <span class='Function'>G</span><span class='Paren'>)</span></code></td> +<td><code><span class='Value'>h</span> <span class='Value'>g</span> <span class='Gets'>→</span> <span class='Paren'>(</span><span class='Function'>G</span> <span class='Function'>H</span><span class='Paren'>)</span></code></td> <td></td> </tr> <tr> diff --git a/implementation/vm.md b/implementation/vm.md index 7c6226b9..0ce379ab 100644 --- a/implementation/vm.md +++ b/implementation/vm.md @@ -105,7 +105,7 @@ Stack effects for most instructions are given below. Instructions `FN1O`, `FN2O` | 0B | ARRO | `x0 … xm → ⟨x0 … xm⟩` | `N` total variables (`m=n-1`) | 10 | FN1C | `𝕩 𝕤 → (𝕊 𝕩)` | 12: `𝕩` may be `·` | 11 | FN2C | `𝕩 𝕤 𝕨 → (𝕨 𝕊 𝕩)` | 13: `𝕨` or `𝕩` may be `·` -| 14 | TR2D | `g f → (F G)` | +| 14 | TR2D | `h g → (G H)` | | 15 | TR3D | `h g f → (F G H)` | 17: `F` may be `·` | 1A | MD1C | `𝕣 𝕗 → (𝔽 _𝕣)` | | 1B | MD2C | `𝕘 𝕣 𝕗 → (𝔽 _𝕣_ 𝔾)` | |