From ac1d1f0ecbe4a375663d86129e0b3eb997281a76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
=?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Tue, 22 Oct 2024 02:40:37 +0900
Subject: [PATCH] [obsidian] vault backup: 2024-10-22 02:40:37[
---
content/mimium新内部表現の構想.md | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md
index 007a36b6..5da45498 100644
--- a/content/mimium新内部表現の構想.md
+++ b/content/mimium新内部表現の構想.md
@@ -56,14 +56,10 @@ $$
\begin{align}
e \; ::=& \quad x \quad x \in \mathbb{V} \quad & [value]\\
|& \quad \lambda x.e \quad & [lambda]\\
- |& \quad fix \; x.e \quad & [fixpoint]\\
|& \quad e \; e \quad & [app]\\
+ |& \quad fix \; x.e \quad & [fixpoint]\\
|& \quad feed \; x.e \quad & [feed] \\
|& \quad delay \; e \; e & [delay]\\
- %%|& \quad (e_1,e_2) \quad & [product]\\
- %%|& \quad \pi_n e \quad n\in \mathbb{N},\; n>0 \quad & [project]\\
- %%|& \quad \langle e \rangle \quad & [code] \\
- %%|& \quad \textasciitilde e \quad & [escape]
\end{align}
$$