セルフレビュー

lean-ja · Aug 24, 2024 · 47d5e96 · 47d5e96
1 parent 8202198
commit 47d5e96
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 44 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -41,7 +41,7 @@
   - [構造体と継承](functor-applicative-monad/inheritance.md)
   - [アプリカティブ関手](functor-applicative-monad/applicative.md)
   - [アプリカティブ関手の約定](functor-applicative-monad/applicative-contract.md)
-  - [Alternatives](functor-applicative-monad/alternative.md)
+  - [オルタナティブ](functor-applicative-monad/alternative.md)
   - [Universes](functor-applicative-monad/universes.md)
   - [The Complete Definitions](functor-applicative-monad/complete.md)
   - [Summary](functor-applicative-monad/summary.md)