5章 monads (#42)

* 翻訳開始 * 和訳完了 * コメントアウト位置修正 * セルフレビュー
lean-ja · Aug 24, 2024 · e60e679 · e60e679
1 parent 5dc0149
commit e60e679
Show file tree

Hide file tree

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