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

Version history of laws/doc_commit.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 comment form, # LAW <name>: <plain words> (requirement ids and tags in parentheses after the name); comment lines only
committed
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
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