search

lean-ja / lean-by-example

コード例で学ぶ Lean 言語
https://lean-ja.github.io/lean-by-example/
MIT License
39 stars 7 forks source link

precedence と priority の訳し方の問題 #356

Closed Seasawher closed 3 months ago

Seasawher commented 3 months ago

TPiL 日本語版での訳を確認して訳語を合わせる

Seasawher commented 3 months ago

precedence はパースの優先順位

https://aconite-ac.github.io/theorem_proving_in_lean4_ja/interacting_with_lean.html?highlight=%E5%84%AA%E5%85%88%E5%BA%A6#notations-and-precedence-%E8%A8%98%E6%B3%95%E3%81%A8%E5%84%AA%E5%85%88%E9%A0%86%E4%BD%8D