セルフレビュー

lean-ja · Aug 24, 2024 · 72486a5 · 72486a5
1 parent 40c2e57
commit 72486a5
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 25 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -31,7 +31,7 @@
   - [その他の便利な機能](type-classes/conveniences.md)
   - [まとめ](type-classes/summary.md)
 - [モナド](./monads.md)
-  - [The Monad Type Class](./monads/class.md)
+  - [モナド型クラス](./monads/class.md)
   - [Example: Arithmetic in Monads](./monads/arithmetic.md)
   - [`do`-Notation for Monads](./monads/do.md)
   - [The `IO` Monad](./monads/io.md)