Skip to content
This repository has been archived by the owner on Jan 5, 2025. It is now read-only.

7.5章 conveniences #68

Merged
merged 3 commits into from
Aug 25, 2024
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
目次更新
s-taiga committed Aug 25, 2024
commit e90d0679900fff4d8f9d38c15320b989014dc871
2 changes: 1 addition & 1 deletion functional-programming-lean/src/SUMMARY.md
Original file line number Diff line number Diff line change
@@ -50,7 +50,7 @@
- [モナド組み立てキット](monad-transformers/transformers.md)
- [モナド変換子の順序](monad-transformers/order.md)
- [さらなる `do` の機能](monad-transformers/do.md)
- [Additional Conveniences](monad-transformers/conveniences.md)
- [その他の便利な機能](monad-transformers/conveniences.md)
- [Summary](monad-transformers/summary.md)
- [Programming with Dependent Types](dependent-types.md)
- [Indexed Families](dependent-types/indexed-families.md)