commit: 9e913a29dec112d065ba51fdc8e7c748fe93cd6b

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Mon Jun 16 16:13:07 2025 -0700
committer: GitHub <noreply@github.com>

Mon Jun 16 23:13:07 2025 +0000
tree: da4c1031837207001221f73dce5624e545031dbb
parent: 46c3eaece9b8feee3f14cc5b8d9aaab66d091c63 [diff]

chore: remove redundant headBeta call (#8824)

src/Lean/Compiler/IR/ToIR.lean[diff]

1 file changed

tree: da4c1031837207001221f73dce5624e545031dbb

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.