Skip to content

Install the §5 closure ordering and replace what it falsifies (0.13.0) - #28

Merged
dsnger merged 182 commits into
mainfrom
loop-rule-consolidation
Sep 26, 2026
Merged

dsnger merged 182 commits into
mainfrom
loop-rule-consolidation

Commits

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026

Commits on Sep 15, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 26, 2026