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

1.5章 datatypes-and-patterns.mdを翻訳しました #18

Merged
merged 7 commits into from
May 19, 2024
Merged
Show file tree
Hide file tree
Changes from 3 commits
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
2 changes: 1 addition & 1 deletion functional-programming-lean/src/SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
- [型](./getting-to-know/types.md)
- [関数と定義](./getting-to-know/functions-and-definitions.md)
- [構造体](./getting-to-know/structures.md)
- [Datatypes, Patterns and Recursion](./getting-to-know/datatypes-and-patterns.md)
- [データ型, パターンそして再帰](./getting-to-know/datatypes-and-patterns.md)
- [Polymorphism](./getting-to-know/polymorphism.md)
- [Additional Conveniences](./getting-to-know/conveniences.md)
- [Summary](./getting-to-know/summary.md)
Expand Down
Loading
Loading