This repository was archived by the owner on Mar 16, 2026. It is now read-only.
Repository navigation
v0.16.0
·
80 commits
to main
since this release
CHANGES:
Initial release. Import code from a recent core_kernel checkout.
Meant to mirror: https://github.com/janestreet/core_kernel/releases/tag/v0.16.0