fix

HigherOrderCO · Oct 24, 2024 · 7d7c5ed · 7d7c5ed
1 parent d8cd006
commit 7d7c5ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paper/HVM2.typst b/paper/HVM2.typst
@@ -318,7 +318,7 @@ $
     #math.frac(`#n+1 ~ ?(A B)`, 
       ```
       A ~ (* x)
-      # ~ (x B)
+      #n ~ ?(x B)
       ```
     )
   ],