Skip to content

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

Merged
hyperpolymath merged 9 commits into
mainfrom
claude/youthful-fermat-90bhhu
Jun 24, 2026
Merged

ReScript→AffineScript migration: Parser + TypeChecker + TypeSuperposition (modules 4–6)#29
hyperpolymath merged 9 commits into
mainfrom
claude/youthful-fermat-90bhhu

compiler: port TypeChecker.res + TypeSuperposition.res -> .affine

17acf9b
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Hypatia succeeded Jun 24, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.