翻訳開始

lean-ja · Sep 7, 2024 · 648732a · 648732a
1 parent c6036cb
commit 648732a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -68,6 +68,6 @@
   - [安全な配列のインデックス](programs-proofs/fin.md)
   - [挿入ソートと配列の更新](programs-proofs/insertion-sort.md)
   - [特別な型](programs-proofs/special-types.md)
-  - [Summary](programs-proofs/summary.md)
+  - [まとめ](programs-proofs/summary.md)
 
 [Next Steps](next-steps.md)