Skip to content

Commit

Permalink
Merge pull request #297 from lean-ja/Seasawher/issue294
Browse files Browse the repository at this point in the history
翻訳者向けのノートを書く
  • Loading branch information
Seasawher authored Jun 18, 2024
2 parents 0e66125 + 12303bc commit 9b058f2
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,10 @@
* Lean コードは,コンパイルが通るようにして `Examples` 配下に配置します.「タクティクが失敗する例」を紹介したいときであっても `try``#guard_msgs` などを使ってコンパイルが通るようにしてください.コード例が正しいかチェックする際にその方が楽だからです.
* 本文の markdown ファイルは [mdgen](https://github.com/Seasawher/mdgen) を用いて lean ファイルから生成します.lean ファイルを編集した後,`lake run build` コマンドを実行すれば markdown の生成と `mdbook build` が一括実行されます.

## Do you want to translate this book?

Thank you for your interest in translating this book! 😄 But please note that we are currently **not accepting translations** of this book because this book is still under development! No content is stable yet.

## スポンサー

このプロジェクトは [Proxima Technology](https://proxima-ai-tech.com/) 様よりご支援を頂いています.
Expand Down

0 comments on commit 9b058f2

Please sign in to comment.