Repository navigation

Type-check with ty, pyrefly, pyright, mypy and zuban - #83

Open

zsimic wants to merge 4 commits into

mainfrom

Commits on Oct 9, 2026
- Added type checking
  zsimic
  committed
  160664a
Commits on Oct 10, 2026
- Added tests
  zsimic
  committed
  6365108
- Renamed type checking report to docs/typecheck-findings.md, neutral wording on checkers
  
  zsimic
  and
  claude
  committed
  3c088a7
- Updated links to docs/typecheck-findings.md, neutral wording on checkers
  
  zsimic
  and
  claude
  committed
  4a43898