paper Switch 2 typo fix

HigherOrderCO · Oct 24, 2024 · d8cd006 · d8cd006
1 parent 6542760
commit d8cd006
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/paper/HVM2.typst b/paper/HVM2.typst
@@ -315,7 +315,12 @@ $
   ],
   [
     #smallcaps[(#strong[swit]ch 2)]
-    #math.frac(`#n+1 ~ ?(A B)`, `A ~ (* (#n B))`)
+    #math.frac(`#n+1 ~ ?(A B)`, 
+      ```
+      A ~ (* x)
+      # ~ (x B)
+      ```
+    )
   ],
 )
 #v(2em)