search

lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）
https://lean-ja.github.io/fp-lean-ja/
Other
7 stars 2 forks source link

2.2章 step-by-step #26

Closed imamuray closed 1 month ago

s-taiga commented 1 month ago

@imamuray ありがとうございます！ 句読点の置換と目次の修正だけしてマージしたいと思いますが、こちらで対応いたしましょうか？

imamuray commented 1 month ago

@s-taiga すみませんが対応していただけるとありがたいです 🙇‍♂️ 今自分がオープンしている PR は翻訳ルールが変わる前のものなので句読点が 、。 になっています。 この PR 以外も @s-taiga さんでマージしていただけるなら、そちらも変更していただいて問題ありません。 お手数をおかけしますがよろしくお願いします。

s-taiga commented 1 month ago

@imamuray ありがとうございます！ そうしましたら変更させていただきましたので、これでマージいたします。