Skip to content
This repository was archived by the owner on Jan 5, 2025. It is now read-only.

Commit b51113e

Browse files
authored
Merge pull request #92 from lean-ja/2.4-summary-fix
2.4章の目次修正
2 parents ae80125 + 63a69e6 commit b51113e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

functional-programming-lean/src/SUMMARY.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717
- [プログラムの実行](./hello-world/running-a-program.md)
1818
- [ステップ・バイ・ステップ](./hello-world/step-by-step.md)
1919
- [プロジェクトの開始](./hello-world/starting-a-project.md)
20-
- [Worked Example: `cat`](./hello-world/cat.md)
20+
- [実例:`cat`](./hello-world/cat.md)
2121
- [その他の便利機能](./hello-world/conveniences.md)
2222
- [まとめ](./hello-world/summary.md)
2323
- [休憩:命題・証明・リストの添え字アクセス](props-proofs-indexing.md)

0 commit comments

Comments
 (0)