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

Version history of proof/tiny/tiny_elect_entry_example.bend

October 2026

gildrb.com
Merge branch 'bend/all-docs' into bend/all
committed
gildrb.com
tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)
committed