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

日本語訳にあたっての必要な対応をする #6

Open Seasawher opened 9 months ago

Seasawher commented 9 months ago

原文のライセンスを確認 原文のどのバージョンの訳なのか明記 翻訳は非公式のものであり、lean-jaが管理するものであると明記

Seasawher commented 9 months ago

翻訳の許可はいただいたが，原著者が訳文をチェックしたかのような印象を与えてはいけない

https://github.com/leanprover/fp-lean/issues/139#event-11210827603

Seasawher commented 3 months ago

参照している原文のバージョン：60624372e1b7f85967de2f9f2c906fb351e0469a

リンクにするなら: https://github.com/leanprover/fp-lean/tree/60624372e1b7f85967de2f9f2c906fb351e0469a