1 Commits

Author SHA1 Message Date
eda4f92900 Docs: finalise SEMANTICS.md type system specification
All 12 sections are now fully defined. Removed incremental-progress
markers (Status: defined), updated intro and outline preamble, and
fixed two missing cases in the assigns() function (struct literals and
parenthesised expressions).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-03-11 11:17:31 +01:00