[obsidian] vault backup: 2023-12-14 00:36:29[

2023-12-14 00:36:29 +09:00
parent 6a70b122d3
commit 804eefd9d1
2 changed files with 12 additions and 0 deletions
--- a/content/mimium新内部表現の構想.md
+++ b/content/mimium新内部表現の構想.md
@ -30,10 +30,15 @@ $$
 (そしてよく見るとこれは関数→関数のような高階関数を許してないんだな)
 そうか高階関数を考えなければクロージャを考慮する必要もないものな

+
+[[ブロックとサンプルの互換性]]をどうするかが問題？
+
 ## 値

 一旦タプルについては考えないことにしよう

+
+
 $$
 \begin{align}
 v \; ::= & \quad R \\