Skip to content

Experiment: Replace mypy with ty#353

Draft
mmwinther wants to merge 5 commits intomainfrom
experiment/use-ty-type-checker
Draft

Experiment: Replace mypy with ty#353
mmwinther wants to merge 5 commits intomainfrom
experiment/use-ty-type-checker

Commits

Commits on Dec 17, 2025

Commits on Dec 19, 2025

Commits on Jan 21, 2026