Code

syntax コマンドの name := 構文を紹介する#1102

Code

Merged

Seasawher merged 1 commit intomainlean-ja/lean-by-example:mainfrom Seasawher/issue1101lean-ja/lean-by-example:Seasawher/issue1101Copy head branch name to clipboardNov 14, 2024

+19-9

Commits

Commits on Nov 14, 2024

• syntax コマンドの name := 構文を紹介する

  Show description for 369383e
  Seasawher

  committed
  369383e

  Copy full SHA for 369383e