翻訳開始

lean-ja · Sep 4, 2024 · 7463894 · 7463894
1 parent e1d2ae8
commit 7463894
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
@@ -66,7 +66,7 @@
   - [配列と関数の停止](programs-proofs/arrays-termination.md)
   - [その他の不等式](programs-proofs/inequalities.md)
   - [安全な配列のインデックス](programs-proofs/fin.md)
-  - [Insertion Sort and Array Mutation](programs-proofs/insertion-sort.md)
+  - [挿入ソートと配列の更新](programs-proofs/insertion-sort.md)
   - [Special Types](programs-proofs/special-types.md)
   - [Summary](programs-proofs/summary.md)