that never happened well do it tomorrow...

2023-11-13 23:19:37 -07:00
parent 4d9d1b62e1
commit 5edbd733ac
1 changed files with 0 additions and 9 deletions
--- a/doc/state-transition-rules.md
+++ b/doc/state-transition-rules.md
@@ -1,9 +0,0 @@
-```math
-\[ \begin{tblr}{|ccclc|}
-    \hline
-    & a : s & d & h \begin{bmatrix} a : \mathtt{NAp} \; a_1 \; a_2 \\ a_2 : \mathtt{NInd} \; a_3 \end{bmatrix} & f \\
-    \implies & a : s & d & h[a : \mathtt{NAp} \; a_1 \; a_3] & f \\
-    \hline
-\end{tblr} \]
-```
-