commit: 0fa905c277687b831af0e823eae5f69c431eca2f

[log]
author: Kim Morrison <kim@tqft.net>

Tue Oct 22 12:00:00 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Oct 22 12:00:00 2024 +1100
tree: 18677342c2a6a29c81bd61cf28da5942da33467d
parent: 8d789f7b63664d2b3128193f509d85862433252a [diff]

feat: related Array.forIn and List.forIn

3 files changed

tree: 18677342c2a6a29c81bd61cf28da5942da33467d

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).