セルフレビュー

lean-ja · Aug 24, 2024 · 74523b8 · 74523b8
1 parent fe21c48
commit 74523b8
Show file tree

Hide file tree

Showing 2 changed files with 52 additions and 60 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -39,7 +39,7 @@
   - [まとめ](monads/summary.md)
 - [関手・アプリカティブ関手・モナド](functor-applicative-monad.md)
   - [構造体と継承](functor-applicative-monad/inheritance.md)
-  - [Applicative Functors](functor-applicative-monad/applicative.md)
+  - [アプリカティブ関手](functor-applicative-monad/applicative.md)
   - [The Applicative Contract](functor-applicative-monad/applicative-contract.md)
   - [Alternatives](functor-applicative-monad/alternative.md)
   - [Universes](functor-applicative-monad/universes.md)