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

Version history of proof/base/replace.bend

October 2026

gildrb.com
proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/
committed
gildrb.com
proofs: files past 1,000 lines become folders by topic (proof/base/, proof/<area>/base/, proof/optchat/push_agrees_always/); P1 binders renamed
committed