commit: 8e26cadf9bfda3ac6a0935b0a3e41df76a8eb365

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Thu Mar 05 10:35:47 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Mar 05 10:35:47 2026 -0300
tree: e96c2b32f84f475ab67888280e17201d6534d532
parent: 551086c85480eb69b85b7a59de8e75208c74984a [diff]

fix: selector

src/Std/Internal/Async/Signal.lean[diff]

1 file changed

tree: e96c2b32f84f475ab67888280e17201d6534d532

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.