Skip to content

Add ty as a type checker#702

Merged
ogenstad merged 1 commit intostablefrom
pog-add-ty-typechecker
Dec 19, 2025
Merged

Add ty as a type checker#702
ogenstad merged 1 commit intostablefrom
pog-add-ty-typechecker

Commits

Commits on Dec 19, 2025