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 /docs | |
| parent | 4c3b4318c824938a6f08e03ab52bf79c77488403 (diff) | |
Use (G H) instead of (F G) for 2-trains in VM doc
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/implementation/vm.html | 2 |
1 files changed, 1 insertions, 1 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> |