2.1 Running a Program の翻訳をレビュー

lean-ja · Nov 4, 2023 · dd916c6 · dd916c6
1 parent dff4bdb
commit dd916c6
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 26 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -14,7 +14,7 @@
   - [Additional Conveniences](./getting-to-know/conveniences.md)
   - [Summary](./getting-to-know/summary.md)
 - [ハローワールド!](./hello-world.md)
-  - [Running a Program](./hello-world/running-a-program.md)
+  - [プログラムの実行](./hello-world/running-a-program.md)
   - [Step By Step](./hello-world/step-by-step.md)
   - [Starting a Project](./hello-world/starting-a-project.md)
   - [Worked Example: `cat`](./hello-world/cat.md)