From 5edbd733acc6f43e906463674d1fef09006814c2 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Mon, 13 Nov 2023 23:19:37 -0700
Subject: [PATCH] that never happened well do it tomorrow...

---
 doc/state-transition-rules.md | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 doc/state-transition-rules.md

diff --git a/doc/state-transition-rules.md b/doc/state-transition-rules.md
deleted file mode 100644
index 4b3c9bc..0000000
--- a/doc/state-transition-rules.md
+++ /dev/null
@@ -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} \]
-```
-