6.6章 complete (#57)

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

Hide file tree

Showing 2 changed files with 132 additions and 3 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -43,7 +43,7 @@
   - [アプリカティブ関手の約定](functor-applicative-monad/applicative-contract.md)
   - [オルタナティブ](functor-applicative-monad/alternative.md)
   - [宇宙](functor-applicative-monad/universes.md)
-  - [The Complete Definitions](functor-applicative-monad/complete.md)
+  - [完全な定義](functor-applicative-monad/complete.md)
   - [Summary](functor-applicative-monad/summary.md)
 - [Monad Transformers](monad-transformers.md)
   - [Combining IO and Reader](monad-transformers/reader-io.md)