ReScript→AffineScript migration: Parser + TypeChecker + TypeSuperposition (modules 4–6) - #29

Merged

hyperpolymath merged 9 commits into

mainfrom

claude/youthful-fermat-90bhhu

Jun 24, 2026

Commits on Jun 23, 2026

error-lang: replace fabricated ABI "proofs" with machine-checked ones

hyperpolymath
and
claude
committed
docs: design Error-Lang as a Trope IR front end (trope-particularity integration)

hyperpolymath
and
claude
committed
docs: qualify external repo paths to clear structural_drift (SD022)

hyperpolymath
and
claude
committed
compiler: begin ReScript->AffineScript migration — port Types.res

hyperpolymath
and
claude
committed
compiler: fix AffineScript module system to unblock the per-module port

hyperpolymath
and
claude
committed
compiler: port Lexer.res -> Lexer.affine

hyperpolymath
and
claude
committed

Commits on Jun 24, 2026