From 6800997a8fe484f1954c1c9a41e06fd6101ede1f Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Mon, 13 Nov 2023 22:26:08 -0700
Subject: [PATCH] begin docs

---
 doc/state-transition-rules.md | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 doc/state-transition-rules.md

diff --git a/doc/state-transition-rules.md b/doc/state-transition-rules.md
new file mode 100644
index 0000000..6eee71a
--- /dev/null
+++ b/doc/state-transition-rules.md
@@ -0,0 +1,22 @@
+```math
+\begin{align*}
+    \begin{array}{|rrrrr|}
+        \hline
+        & a : s & d & h
+        \left[
+            \begin{array}{l}
+                a : \texttt{NAp } a_1 a_2 \\
+                a_2 : \texttt{NInd } a_3
+            \end{array}
+        \right] & g \\[14pt]
+        \implies & a : s & d & h
+        \left[
+            \begin{array}{l}
+                a : \texttt{NAp } a_1 a_3
+            \end{array}
+        \right] & g \\
+        \hline
+    \end{array}
+\end{align*}
+```
+