@@ -27,7 +27,7 @@ between opening and closing `==`.
27formal identity to the interpreter, which may or may not be able
27formal identity to the interpreter, which may or may not be able
28to recognize and/or accelerate it.
28to recognize and/or accelerate it.
30−Registered cores are are organized in a containment hierarchy.
30+Registered cores are organized in a containment hierarchy.
31The parent core is at any leg within the child core. When we
31The parent core is at any leg within the child core. When we
32register a core, we state the leg to its parent, in the form of
32register a core, we state the leg to its parent, in the form of
33wing `q`. We assume the parent is already registered -- as it
33wing `q`. We assume the parent is already registered -- as it