翻訳開始

Author: s-taiga

md/SUMMARY.md

@@ -11,7 +11,7 @@
 - [構文](./main/05_syntax.md)
 - [マクロ](./main/06_macros.md)
 - [エラボレーション](./main/07_elaboration.md)
-- [Embedding DSLs By Elaboration](./main/08_dsls.md)
+- [エラボレーションによる DSL の埋め込み](./main/08_dsls.md)
 - [Tactics](./main/09_tactics.md)
 - [Lean4 Cheat-sheet](./main/10_cheat-sheet.md)