From 7c474cc0641a3865fc955f8d94c4803dd7bd7f53 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Wed, 24 Jan 2024 09:49:27 -0700 Subject: [PATCH] minor docs --- doc/src/references/rlp-inference-rules.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/src/references/rlp-inference-rules.rst b/doc/src/references/rlp-inference-rules.rst index e9f7266..9520d0f 100644 --- a/doc/src/references/rlp-inference-rules.rst +++ b/doc/src/references/rlp-inference-rules.rst @@ -11,3 +11,7 @@ rl' Inference Rules .. rubric:: [App] +.. math:: + \frac{\Gamma \vdash f : \alpha \to \beta \qquad \Gamma \vdash x : \alpha} + {\Gamma \vdash f x : \beta} +