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

Version history of proof/doc_commit/base.bend

October 2026

gildrb.com
Merge branch 'bend/all-docs' into bend/all
committed
gildrb.com
docs: the writer's choices run as the compiled core (new entry doc_commit id 103)
committed
gildrb.com
laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>
committed
gildrb.com
proofs: the Bend Bank layout per area: proof/<area>/<law>.bend per law, proof/<area>/base.bend and proof/base.bend for shared lemmas, PROOF.bend imports only
committed