Code

infix コマンドは左結合でも右結合でもないことを明記する#439

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue438lean-ja/lean-by-example:Seasawher/issue438Copy head branch name to clipboardJul 3, 2024

+18

Commits

Commits on Jul 3, 2024

• infix コマンドは左結合でも右結合でもないことを明記する

  Show description for 1f37836
  Seasawher

  committed
  1f37836

  Copy full SHA for 1f37836