commit: 7624298c68c5a338e7e42809550ec3f2fd7f9759

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

Wed Jul 24 18:43:28 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jul 24 18:43:58 2024 +1000
tree: a0ddef978c1d25d668f0de466b9e3c1d084d37de
parent: 3701bee7771dbc6e375bed46c7a6e30822ea0f87 [diff]

chore: List.filterMapM runs and returns left-to-right

2 files changed

tree: a0ddef978c1d25d668f0de466b9e3c1d084d37de

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).