Skip to content

KernelInterface 0.3: a tighter back-end contract - #800

Merged
maleadt merged 9 commits into
mainfrom
tb/ki-0.3
Sep 30, 2026
Merged

KernelInterface 0.3: a tighter back-end contract#800
maleadt merged 9 commits into
mainfrom
tb/ki-0.3

KernelInterface: declare the public API, document the contract

2e505ea
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar