search

lean-ja / lean-by-example

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

Std.range を紹介する #419

Open Seasawher opened 3 months ago

Seasawher commented 3 months ago

紹介する優先順位は微妙だが

Std.Range と [n:m] という記法を紹介する