From 908727f9f5ae21bc90472c729e9371f18a9d5e6c Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Wed, 6 Dec 2023 19:39:04 -0700
Subject: [PATCH] deep eval rule

---
 doc/src/references/gm-state-transitions.rst | 24 +++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/doc/src/references/gm-state-transitions.rst b/doc/src/references/gm-state-transitions.rst
index 59df767..274f30d 100644
--- a/doc/src/references/gm-state-transitions.rst
+++ b/doc/src/references/gm-state-transitions.rst
@@ -493,6 +493,30 @@ Core Transition Rules
           [\mathtt{Pack} \; t \; n, \mathtt{Update} \; 0, \mathtt{Unwind}]$}
       }
 
+#. (WIP) Deep eval. Evaluate a constructor and each of its components
+
+   .. math::
+      \gmrule
+      { \mathtt{DeepEval} : i
+      & a : s
+      & d
+      & h
+      \begin{bmatrix}
+            a : \mathtt{NConstr} \; t \; [a_1,\ldots,a_n]
+      \end{bmatrix}
+      & m
+      }
+      { i' \concat i
+      & a_1 : \ldots : a_n : s
+      & d
+      & h
+      & m
+      \\
+      \SetCell[c=6]{c}
+      \text{where $i' = \overbrace{[\mathtt{Eval}, \mathtt{DeepEval},\mathtt{Eval},
+          \mathtt{DeepEval},\ldots]}^n$}
+      }
+
 ***************
 Extension Rules
 ***************