commit: 3841caa192031ca9ad622d0eedcf76887a986a34

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

Tue Jul 30 22:38:03 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jul 30 22:38:08 2024 +1000
tree: de45a061d01bbe73b64c74065d434bcbb6e0da4d
parent: 6a904f2c8519f8414a1d8241726048f6c8f1a899 [diff]

chore: correct doc-string for Array.swap!

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

1 file changed

tree: de45a061d01bbe73b64c74065d434bcbb6e0da4d

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