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

Start work on refactoring management of windows

2020-05-12 22:43:53 +05:30

base.py

Migrate type checker to ty

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

grid.py

Migrate type checker to ty

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

interface.py

Update codebase to Python 3.10 using pyupgrade

2025-02-03 10:56:50 +05:30

splits.py

Migrate type checker to ty

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

stack.py

Migrate type checker to ty

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

tall.py

Migrate type checker to ty

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

vertical.py

Migrate type checker to ty

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