Skip to content

docs(substrate): §8 strong form — the substrate as a full-stack compiler#610

Merged
AdaWorldAPI merged 3 commits into
mainfrom
claude/jirak-math-theorems-harvest-rfii13
Jun 25, 2026
Merged

docs(substrate): §8 strong form — the substrate as a full-stack compiler#610
AdaWorldAPI merged 3 commits into
mainfrom
claude/jirak-math-theorems-harvest-rfii13

docs(substrate): fix §8 ValueSchema framing — ClassView reading, not …

fdcc862
Select commit
Loading
Failed to load commit list.

There are no checks for this commit