memory layout typos

thanks @high-cloud (#396)
HigherOrderCO · Aug 15, 2024 · 4b534f8 · 4b534f8
1 parent 2f06447
commit 4b534f8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/paper/HVM2.pdf b/paper/HVM2.pdf
diff --git a/paper/HVM2.typst b/paper/HVM2.typst
@@ -806,15 +806,15 @@ In HVM2's memory, it would be represented as:
 ```
 RBAG | FST-TREE | SND-TREE
 ---- | -------- | --------
-0800 | CON 0001 | CON 0002 // '& (b a) ~ (x (y *))'
+0800 | CON 0002 | CON 0003 // '& (b a) ~ (x (y *))'
 1800 | DUP 0005 | REF 0000 // '& {x y} ~ @foo'
 ---- | -------- | --------
 NODE | PORT-1   | PORT-2
 ---- | -------- | --------
 0001 | VAR 0000 | VAR 0001 // '(a b)' node (root)
 0002 | VAR 0001 | VAR 0000 // '(b a)' node
 0003 | VAR 0002 | CON 0004 // '(x (y *))' node
-0004 | VAR 0003 | DUP 0000 // '(y *)' node
+0004 | VAR 0003 | ERA 0000 // '(y *)' node
 0005 | VAR 0003 | VAR 0002 // '{y x}' node
 ---- | -------- | --------
 VARS | VALUE    |