From 83d24f62cbe1156fee2c0c8c1117fd156a700f1c Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 14 Nov 2021 12:30:35 -0500
Subject: Use (G H) instead of (F G) for 2-trains in VM doc

---
 implementation/vm.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'implementation/vm.md')

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 | `𝕘 𝕣 𝕗 → (𝔽 _𝕣_ 𝔾)`   |
-- 
cgit v1.2.3