lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

https://lean-ja.github.io/fp-lean-ja/

Other

7 stars 2 forks source link

Update issue templates : GLOSSARY_proposal, TRANSLATION_error, OTHER #36

Closed aconite-ac closed 3 months ago

aconite-ac commented 3 months ago

対訳表への変更提案
翻訳の誤りの指摘
そのほか

に対応する issue template を作成

aconite-ac commented 3 months ago

@Seasawher

35 のご提案を受けて issue template を3種類作成しました。

review のほどよろしくお願いいたします。

Seasawher commented 3 months ago

https://github.com/Seasawher/fp-lean-ja/issues/new/choose

確認ですが，上記のような見た目になります．

aconite-ac commented 3 months ago

@Seasawher フォークを用いたプレビュー、ありがとうございます。個人的には大丈夫そうに見えますが、慣例から外れている箇所や、修正案などございましたらご指摘いただけるとありがたいです。 (commit して頂いても大丈夫です。)

aconite-ac commented 3 months ago

GitHub上で issue template を作成した際に、name がファイル名に反映されたこと、また name と about で同語反復が起きることを鑑みてこのような name にしました。 …が、about をより具体的に書いた上で name を日本語にリネームした方がユーザーフレンドリーですね。

aconite-ac commented 3 months ago

@Seasawher 修正commit・review・approve ありがとうございます！未解決の問題はないと思われますので、merge いたします。