commit: 6639a043f1c2dc5eea14a15ef470546d12613ff6

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

Wed Oct 16 16:14:45 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Oct 16 16:45:20 2024 +1100
tree: 372f4944ff1764f553534d9784309852b7bd7136
parent: 0bfe1a8c1a2e2eb6da0dad270d7b2bbdd5b97c3d [diff]

chore: rename List.bind and Array.concatMap to flatMap

fix

27 files changed

tree: 372f4944ff1764f553534d9784309852b7bd7136

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