Merge remote-tracking branch 'origin/v4' into v4

2026-04-13 18:02:36 +09:00
parent c03546d800 52ec291124
commit 5c7d3c19ef
1 changed files with 1 additions and 1 deletions
--- a/content/mimiumの多段階計算.md
+++ b/content/mimiumの多段階計算.md
@@ -39,7 +39,7 @@ e ::= &\quad R & R \in \mathbb{R}  [number]&\\
      |&\quad mem(e) &[mem]&\\
      |&\quad feed\ x.e &[feed]&\\
      |&\quad `(e) &[quote]&\\
-      |&\quad $(e) &[splice]&\\\
+      |&\quad $(e) &[splice]&\\
      |& \ ...
 \end{align}
 $$