commit: 52ab0141cd0fbb9696981e09f67db587a76dfb78

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

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

Mon Jun 30 23:13:02 2025 +0000
tree: f277334895a592b5fe5dbd5c41f69daf095d06f0
parent: cd60e3b8fd3efc5be0e94c78baa8d0ff8f9c65d1 [diff]

chore: share more code in toIRType (#9115)

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

1 file changed

tree: f277334895a592b5fe5dbd5c41f69daf095d06f0

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.