翻訳開始

lean-ja · Sep 20, 2024 · e0d3418 · e0d3418
1 parent e7210a9
commit e0d3418
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/md/SUMMARY.md b/md/SUMMARY.md
@@ -8,7 +8,7 @@
 - [概要](./main/02_overview.md)
 - [式](./main/03_expressions.md)
 - [MetaM](./main/04_metam.md)
-- [Syntax](./main/05_syntax.md)
+- [構文](./main/05_syntax.md)
 - [Macros](./main/06_macros.md)
 - [Elaboration](./main/07_elaboration.md)
 - [Embedding DSLs By Elaboration](./main/08_dsls.md)