翻訳開始

lean-ja · Aug 25, 2024 · 7421d67 · 7421d67
1 parent 9e1dd97
commit 7421d67
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
@@ -61,7 +61,7 @@
   - [まとめ](./dependent-types/summary.md)
 - [休憩：タクティク・帰納法・証明](./tactics-induction-proofs.md)
 - [プログラミング・証明・パフォーマンス](programs-proofs.md)
-  - [Tail Recursion](programs-proofs/tail-recursion.md)
+  - [末尾再帰](programs-proofs/tail-recursion.md)
   - [Proving Equivalence](programs-proofs/tail-recursion-proofs.md)
   - [Arrays and Termination](programs-proofs/arrays-termination.md)
   - [More Inequalities](programs-proofs/inequalities.md)