commit: c640b0385142c35bbc76be3323b72449e1f8bed7

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

Tue Apr 22 16:07:36 2025 +0200
committer: Henrik Böving <hargonix@gmail.com>

Tue Apr 22 16:57:20 2025 +0200
tree: afb8bbff2ba559796adf2a4a6b87749517b5df44
parent: 3c29552b1e36f805cbf37316adf9cb3133798542 [diff]

channel selector basic

src/Std/Sync/Channel.lean[diff]
tests/lean/run/async_select_channel.lean[Added - diff]

2 files changed

tree: afb8bbff2ba559796adf2a4a6b87749517b5df44

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 (documentation source: doc/make/index.md).