Sofia Rodrigues 7600d41c90 fix: add cancel function to the Timer API to make it behave correctly with finalizers and selectables (#10630) ... This PR aims to fix the Timer API selector to make it finish as soon as possible when unregistered. This change makes the `Selectable.one` function drop the `selectables` array as soon as possible, so when combined with finalizers that have some effects like the TCP socket finalizer, it runs it as soon as possible.		2025-10-08 16:14:39 +00:00
..
bench	chore: rename Stream to Std.Stream (#10645)	2025-10-02 15:25:56 +00:00
compiler	chore: remove >6 month old deprecations (#10446)	2025-09-22 12:47:11 +00:00
elabissues
ir
lake	feat: lake: allowImportAll configuration option (#9855)	2025-10-08 02:47:35 +00:00
lean	fix: add cancel function to the Timer API to make it behave correctly with finalizers and selectables (#10630)	2025-10-08 16:14:39 +00:00
pkg	fix: simp should not pick up inaccessible definitional equations (#10696)	2025-10-08 12:48:35 +00:00
playground
plugin
simpperf
.gitignore
common.sh
lakefile.toml
lean-toolchain