10.6章 insertion-sort (#84)

* 翻訳開始 * 翻訳完了 * セルフレビュー
lean-ja · Sep 5, 2024 · 47acaf6 · 47acaf6
1 parent e1d2ae8
commit 47acaf6
Show file tree

Hide file tree

Showing 2 changed files with 356 additions 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)