commit: 36501402977550cde4d8a01d420c0877be4e76e6

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

Tue Jul 21 14:31:31 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue Jul 21 14:31:31 2026 -0300
tree: 22831160ac6e211318b404b3ce880f25e652cdbe
parent: e8bb46b4fc3bcf1b9062164786550cd885c66e8b [diff]

fix: comment and test

src/Std/Async/Select.lean[diff]
tests/elab/async_select_error_unregister.lean[Added - diff]

2 files changed

tree: 22831160ac6e211318b404b3ce880f25e652cdbe

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.