commit: 05978caa5943b66df3e86faf91c02afb14cd46f8

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

Sat Jun 28 11:10:42 2025 -0700
committer: GitHub <noreply@github.com>

Sat Jun 28 18:10:42 2025 +0000
tree: 020d3b399b769de293bc86cc8840b49c05b9bacf
parent: 09a5b349314c2b6e42c6293d215de994397d0377 [diff]

chore: move type lowering functions to CoreM (#9064)

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

1 file changed

tree: 020d3b399b769de293bc86cc8840b49c05b9bacf

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.