fix: 宣言的コマンドの説明で「構文」と呼んでいるのを「コマンド」に統一する - Githubissues

lean-ja / lean-by-example

コード例で学ぶ Lean 言語

https://lean-ja.github.io/lean-by-example/

MIT License

37 stars 6 forks source link

fix: 宣言的コマンドの説明で「構文」と呼んでいるのを「コマンド」に統一する #448

Closed Seasawher closed 2 months ago

Seasawher commented 2 months ago

構文と呼ばれているものとコマンドと呼ばれているものの間に一貫性はない．

誤解を生む前に，コマンドで統一すべきかと思う．

構文という言葉は，後で syntax コマンドあたりを解説するときのためにとっておく．