From 8c368af01cc4ba98123b28c4d7c88f078e4d6ab0 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Tue, 21 Nov 2023 21:53:57 -0700 Subject: [PATCH] formatting --- docs/src/commentary/stg.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/commentary/stg.rst b/docs/src/commentary/stg.rst index bf22ac2..6fc7a9f 100644 --- a/docs/src/commentary/stg.rst +++ b/docs/src/commentary/stg.rst @@ -4,7 +4,7 @@ The *Spineless Tagless G-Machine* WIP. This will hopefully be expanded into a thorough walkthrough of the state machine. -Evaluation is complete when a single \texttt{NNum} remains on the stack and the +Evaluation is complete when a single :code:`NNum` remains on the stack and the dump is empty. .. math::