翻訳開始

lean-ja · Sep 9, 2024 · c8ab58b · c8ab58b
1 parent 06d7d86
commit c8ab58b
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
@@ -19,7 +19,7 @@
   - [プロジェクトの開始](./hello-world/starting-a-project.md)
   - [Worked Example: `cat`](./hello-world/cat.md)
   - [Additional Conveniences](./hello-world/conveniences.md)
-  - [Summary](./hello-world/summary.md)
+  - [まとめ](./hello-world/summary.md)
 - [休憩：命題・証明・リストの添え字アクセス](props-proofs-indexing.md)
 - [オーバーロードと型クラス](type-classes.md)
   - [正の整数](type-classes/pos.md)