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

Version history of proof/shell/shell_ffi_example.bend

October 2026

gildrb.com
shell: the approval gate of a step decided by the compiled core (new shell entry id 50)
committed