commit: faab75b0d848940b897a80aa82762019497e8622

[log]
author: Henrik Böving <hargonix@gmail.com>

Thu Apr 11 14:34:17 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Thu Apr 11 14:34:17 2024 +0200
tree: 00265dc63daababa95d5bceb90ae62ec977a4e79
parent: 68e3982eed1e4f98b0a81318510a7717ec6ff3e3 [diff]

perf: fix linearity issue in insertIfNew

src/Lean/Data/HashMap.lean[diff]

1 file changed

tree: 00265dc63daababa95d5bceb90ae62ec977a4e79

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.