commit: 0bb0e50b0d14c18793cc65c73e89bd6a79ff5f94

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

Sun Sep 29 15:27:29 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Sep 29 15:27:29 2024 +1000
tree: 55a154c959de9be98ca2fdd37e836584f346a117
parent: 96adf04a62fcbd48b7ddc51829b76bd161153c73 [diff]

feat: upstream Array.qsortOrd

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

1 file changed

tree: 55a154c959de9be98ca2fdd37e836584f346a117

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