Skip to content

Add ty as another type checker#212

Open
oliverhaas wants to merge 2 commits intosbdchd:mainfrom
oliverhaas:add-ty
Open

Add ty as another type checker#212
oliverhaas wants to merge 2 commits intosbdchd:mainfrom
oliverhaas:add-ty

Commits

Commits on Jan 12, 2026