letrec :D

2023-12-01 14:43:40 -07:00
parent e0dc3f58f7
commit 73a1e4d259
2 changed files with 61 additions and 7 deletions
--- a/docs/src/commentary/gm.rst
+++ b/docs/src/commentary/gm.rst
@@ -266,6 +266,26 @@ Core Transition Rules
   & m
   }

+12. Allocate uninitialised heap space
+
+.. math::
+   \gmrule
+   { \mathtt{Alloc} \; n : i
+   & s
+   & h
+   & m
+   }
+   { i
+   & a_1 : \ldots : a_n : s
+   & h
+   \begin{bmatrix}
+        a_1 : \mathtt{NUninitialised} \\
+        \vdots \\
+        a_n : \mathtt{NUninitialised} \\
+   \end{bmatrix}
+   & m
+   }
+
 Extension Rules
 ---------------