[obsidian] vault backup: 2026-04-13 17:37:52[

2026-04-13 17:37:52 +09:00
parent 11d093f9ac
commit 52ec291124
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}
 $$