commit: 0d173e72d8fb83fa9509183de45f8f6386dbdcec

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

Wed Jun 17 23:24:15 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Jun 17 23:24:15 2026 -0300
tree: 773c24721dc1ecfe3256ff38dc9762446e2d0e88
parent: 9566c798d09abdf266a00eae67a9b1188c6df36e [diff]

fix: change combine and selectable.one

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

2 files changed

tree: 773c24721dc1ecfe3256ff38dc9762446e2d0e88

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.