tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[obsidian] vault backup: 2024-10-22 02:40:37[
All checks were successful
Build / build (push) Successful in 2m54s
Details

Browse Source
This commit is contained in:
松浦 知也 Matsuura Tomoya 2024-10-22 02:40:37 +09:00
parent 5aac8c189d
commit ac1d1f0ecb
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
content/mimium新内部表現の構想.md
View File

@ -56,14 +56,10 @@ $$
\begin{align} \begin{align}
e \; ::=& \quad x \quad x \in \mathbb{V} \quad & [value]\\ e \; ::=& \quad x \quad x \in \mathbb{V} \quad & [value]\\
|& \quad \lambda x.e \quad & [lambda]\\ |& \quad \lambda x.e \quad & [lambda]\\
|& \quad fix \; x.e \quad & [fixpoint]\\
|& \quad e \; e \quad & [app]\\ |& \quad e \; e \quad & [app]\\
|& \quad fix \; x.e \quad & [fixpoint]\\
|& \quad feed \; x.e \quad & [feed] \\ |& \quad feed \; x.e \quad & [feed] \\
|& \quad delay \; e \; e & [delay]\\ |& \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} \end{align}
$$ $$