commit: 9c2a1d33b39dbbe7934e822a10756adb70e1f8e5

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

Wed Apr 01 09:20:30 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Wed Apr 01 09:20:30 2026 +0000
tree: f8c8092c17819b98a184dab102ec902f33e0121a
parent: 48800e438c625b4066449d817acd355f078c12a4 [diff]

perf: use a small dequeue in freeing objects

src/runtime/object.cpp[diff]

1 file changed

tree: f8c8092c17819b98a184dab102ec902f33e0121a

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.