10.3章 arrays-termination (#81)

* 翻訳開始 * 翻訳完了 * 訳注追記
lean-ja · Sep 1, 2024 · d2353f7 · d2353f7
1 parent 8eae5c4
commit d2353f7
Show file tree

Hide file tree

Showing 2 changed files with 263 additions and 1 deletion.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -63,7 +63,7 @@
 - [プログラミング・証明・パフォーマンス](programs-proofs.md)
   - [末尾再帰](programs-proofs/tail-recursion.md)
   - [同値の証明](programs-proofs/tail-recursion-proofs.md)
-  - [Arrays and Termination](programs-proofs/arrays-termination.md)
+  - [配列と関数の停止](programs-proofs/arrays-termination.md)
   - [More Inequalities](programs-proofs/inequalities.md)
   - [Safe Array Indices](programs-proofs/fin.md)
   - [Insertion Sort and Array Mutation](programs-proofs/insertion-sort.md)