good starting point for docs

2023-11-14 09:20:25 -07:00
parent 5edbd733ac
commit 70f3b5cde2
5 changed files with 98 additions and 0 deletions
--- a/docs/src/commentary/stg.rst
+++ b/docs/src/commentary/stg.rst
@@ -0,0 +1,16 @@
+The *Spineless Tagless G-Machine*
+=================================
+
+WIP. Here's a typeset state transition rule describing the action of
+dereferencing indirections when passed as function arguments.
+
+.. math::
+   \transrule
+        {a : s & d & h
+           \begin{bmatrix}
+               a : \mathtt{NAp} \; a_1 \; a_2 \\
+               a_2 : \mathtt{NInd} \; a_3
+           \end{bmatrix} & f}
+        {a : s & d & h[a : \mathtt{NAp} \; a_1 \; a_3] & f}
+   :label: rule1
+