セルフレビュー

lean-ja · Aug 24, 2024 · dc1b77f · dc1b77f
1 parent 1deec41
commit dc1b77f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -45,7 +45,7 @@
   - [宇宙](functor-applicative-monad/universes.md)
   - [完全な定義](functor-applicative-monad/complete.md)
   - [まとめ](functor-applicative-monad/summary.md)
-- [Monad Transformers](monad-transformers.md)
+- [モナド変換子](monad-transformers.md)
   - [Combining IO and Reader](monad-transformers/reader-io.md)
   - [A Monad Construction Kit](monad-transformers/transformers.md)
   - [Ordering Monad Transformers](monad-transformers/order.md)

diff --git a/functional-programming-lean/src/monad-transformers.md b/functional-programming-lean/src/monad-transformers.md
@@ -22,15 +22,11 @@ For example:
 
  <!--
  * Mutable state is encoded with a function parameter and a return value that have the same type
- -->
- * 可変状態はパラメータと戻り値の型が同じ関数としてエンコードされます
- <!--
  * Error handling is encoded by having a return type that is similar to `Except`, with constructors for success and failure
- -->
- * エラー処理は `Except` に似た成功と失敗から構成される型を戻り値に持つものとしてエンコードされます
- <!--
  * Logging is encoded by pairing the return value with the log
  -->
+ * 可変状態はパラメータと戻り値の型が同じ関数としてエンコードされます
+ * エラー処理は `Except` に似た成功と失敗から構成される型を戻り値に持つものとしてエンコードされます
  * ロギングは戻り値とログのペアとしてエンコードされます
 
 <!--