Skip to content

fix(language): a long chain of named expressions loads, a typo beside a formal is refused, and a fault in an entry hides no other - #643

Merged
FBumann merged 4 commits into
claude/mathspec-packages-review-urd4yafrom
claude/peaceful-tesla-eumvcy
Sep 23, 2026
Merged

FBumann merged 4 commits into
claude/mathspec-packages-review-urd4yafrom
claude/peaceful-tesla-eumvcy

chore(resolution): a formal amount is read once, where a bare name is

ce399f8
Select commit
Loading
Failed to load commit list.