[obsidian] vault backup: 2025-07-22 22:44:10[

2025-07-22 22:44:10 +09:00
parent 144b09de03
commit 5de1ed25fd
2 changed files with 13 additions and 1 deletions
--- a/content/mimiumのレコード型.md
+++ b/content/mimiumのレコード型.md
@@ -147,7 +147,7 @@ myugen({ default_v <- freq = 200.0 })

 ---

-## 部分型と型クラス
+## 部分型と[[型クラス]]

 [[構造的部分型]]を採用するつもり。