Kovid Goyal a65b4c70a7 Migrate type checker to ty ...

Much faster than mypy. Matches usage of ruff from same developer.

2026-07-04 09:18:00 +05:30

..

__init__.py

…

main.py

…