Skip to content

docs: trim source prose to contracts; drop closure-era rationale - #482

Merged
lesnik512 merged 1 commit into
mainfrom
docs/trim-source-prose-to-contracts
Sep 12, 2026
Merged

docs: trim source prose to contracts; drop closure-era rationale#482
lesnik512 merged 1 commit into
mainfrom
docs/trim-source-prose-to-contracts

docs: trim source prose to contracts; drop closure-era rationale

08c2333
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar