lean-ja / fp-lean-ja

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

対訳表に1章までに登場する訳語を追加 #34

Closed aconite-ac closed 3 months ago

aconite-ac commented 3 months ago

GLOSSARY.md に1章までの訳語を追加しました。 個人的に「対訳表を充実させることは翻訳の品質保証に直結する」と考えており、 かなり細かく訳語を拾っています。 分量が多いですので、

に集中して review して頂ければと思います。

merge 後に誤りの指摘・修正提案をしたい場合もあると思いますので、 そのときは後で建てる予定の「対訳表への指摘用の新規 Issue」にコメントして頂ければ幸いです。

1章までの翻訳に携わった方に review request を出させていただきました。ご確認のほどよろしくお願いします! (1名以上から approve があり、かつ未解決の指摘が無い場合、全員の approve を待たずに merge する可能性があります。)

aconite-ac commented 3 months ago

review ありがとうございます! 未解決のご指摘がなくなったため、merge いたします。 以降の対訳表への変更提案は #35 にお願いいたします。 以降対訳表への変更提案がある際は、issue template「対訳表への変更提案」をお使いください。