minor docs

2024-01-24 09:31:57 -07:00
parent 3d45e12676
commit c8199a9dd1
4 changed files with 50 additions and 43 deletions
--- a/doc/src/references/rlp-inference-rules.rst
+++ b/doc/src/references/rlp-inference-rules.rst
@@ -0,0 +1,13 @@
+rl' Inference Rules
+===================
+
+.. rubric::
+   [Var]
+
+.. math::
+   \frac{x : \tau \in \Gamma}
+        {\Gamma \vdash x : \tau}
+
+.. rubric::
+   [App]
+