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

2025-08-18 11:10:12 +09:00
parent 95769853f2 5ae629d84b
commit 1bd9312173
2 changed files with 7 additions and 1 deletions
--- a/content/mimium.md
+++ b/content/mimium.md
@@ -22,7 +22,7 @@ https://github.com/mimium-org/mimium-rs

 - [[mimiumの部分的DSP更新とFaustのondemand]]
 - [[mimiumでのIOパラメーター]]
-
+- [[mimiumの型推論]]
 ### 中間表現について

 - [[mimium新内部表現の構想]]
--- a/content/mimiumの型推論.md
+++ b/content/mimiumの型推論.md
@@ -0,0 +1,6 @@
+
+[[Erg]]のドキュメントが参考になる
+
+[[構造的部分型]]と[[単一化]]の組み合わせ方の参考になる
+
+[erg/doc/JA/compiler/inference.md at main · erg-lang/erg · GitHub](https://github.com/erg-lang/erg/blob/main/doc/JA/compiler/inference.md)