eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch

Version history of proof/kernel_local/kernel_ffi_example.bend

October 2026

gildrb.com
kernel_local: runs as compiled Bend (ffi_kernel_local, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go
committed