commit: 287f360d8a78792b77979dc9002cbd86d06f10b2

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

Fri Sep 11 17:59:41 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Fri Sep 11 18:17:26 2026 +0000
tree: 0e211b2bf149e7c91db18f43e3b9326f6b82396d
parent: 624fffaa54c6fd58390e352483e920956b9102e4 [diff]

perf: avoid non-linearity in RC insertion

src/Lean/Compiler/LCNF/ExplicitRC.lean[diff]

1 file changed

tree: 0e211b2bf149e7c91db18f43e3b9326f6b82396d

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.