max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Internal
History
Henrik Böving e6a643770f
feat: implement basic async IO with timers (#6505) 
This PR implements a basic async framework as well as asynchronously
running timers using libuv.

---------

Co-authored-by: Sofia Rodrigues <sofia@algebraic.dev>
Co-authored-by: Markus Himmel <markus@himmel-villmar.de>
Co-authored-by: Markus Himmel <markus@lean-fro.org>
2025-01-13 18:11:04 +00:00
..
Async feat: implement basic async IO with timers (#6505) 2025-01-13 18:11:04 +00:00
Parsec
Async.lean feat: implement basic async IO with timers (#6505) 2025-01-13 18:11:04 +00:00
Parsec.lean
Rat.lean feat: add date and time functionality (#4904) 2024-11-14 14:04:19 +00:00
UV.lean feat: implement basic async IO with timers (#6505) 2025-01-13 18:11:04 +00:00