proof/command_memory_model_example.bend at feat/cmd · gildrb.com/eukhe · Tangled

Coding agent with a memory of all things

eukhe proof command_memory_model_example.bend

180 B · 7 lines

gildrb.com · bend: the slash-command paths (bend/command.bend resolve, menu, key), LAWS.bend section commands (22 laws), proofs in proof/ (bank layout; the wire proofs move to proof/wire.bend), entry bend/ffi_command.bend (id 30) · 3w ago