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

句読点を「、」と「。」に統一するよう翻訳ルールを変更＋レビュー済のファイルについて句読点の置換を実施 #62

Closed aconite-ac closed 2 months ago

aconite-ac commented 2 months ago

resolve #61

表題の通り、

を行いました。 テキストエディタで一括置換した後、目視でチェックしています。

Kitamado @Seasawher さんへ

VSCodeの拡張機能を今回の翻訳ルールに沿うように変更 or 廃止し、ここに commit して頂けると幸いです。

Seasawher commented 2 months ago

@aconite-ac 対応しました

aconite-ac commented 2 months ago

@Seasawher ありがとうございます！ VSCodeの拡張機能使用の廃止と、Issue Template・1.1節以降の句読点の置換について、問題ないと思われます。