commit: 4abbb2d52479596182962ef57fc545741a983c91

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

Thu Jan 02 08:37:47 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Thu Jan 02 08:37:47 2025 +0100
tree: abff0dc9d9875afc09c28b11a822c7166dacfd62
parent: 8d9d81453bd28aa9799e6bf2ad52def1d75549cb [diff]

feat: implement the basic libuv event loop

Co-authored-by: Henrik Böving <hargonix@gmail.com>

src/Std/Internal.lean[diff]
src/Std/Internal/UV.lean[Added - diff]
src/runtime/CMakeLists.txt[diff]
src/runtime/init_module.cpp[diff]
src/runtime/libuv.cpp[diff]
src/runtime/libuv.h[diff]
src/runtime/uv/event_loop.cpp[Added - diff]
src/runtime/uv/event_loop.h[Added - diff]

8 files changed

tree: abff0dc9d9875afc09c28b11a822c7166dacfd62

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).