commit: 561f2607cb1c9ddf777d0b00ed2c5928e4d598c5

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Fri Dec 15 12:45:58 2023 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Dec 15 12:45:58 2023 +0100
tree: e53f1f4f9169d78aa13d45c7ffebdcf61f072e65
parent: 078cef09992e6a17f2c79657c8336a2c48e28944 [diff]

remove unused Option.forM, already in std4

src/Init/Data/Option/Basic.lean[diff]

1 file changed

tree: e53f1f4f9169d78aa13d45c7ffebdcf61f072e65

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.