commit: 810f0ec6d1a0d75e472064f8514a46db410b83ba

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

Tue Oct 22 10:30:18 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Oct 22 10:34:40 2024 +1100
tree: 9acb8eb8de35fdc49a067cc2f944d2994eebee0e
parent: 538b7f2af93cb93cd507f5e5b72ea1efed8ce623 [diff]

chore: deprecate Array.modifyOp

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

1 file changed

tree: 9acb8eb8de35fdc49a067cc2f944d2994eebee0e

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