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.go	Fix hints kitten breaking multi-byte UTF-8 characters when overlaying hint labels	2026-05-13 17:09:42 +08:00
main.py	Migrate type checker to ty	2026-07-04 09:18:00 +05:30
marks.go	hints: Fix trailing punctuation being included in detected URLs	2026-04-07 22:57:36 -07:00
marks_test.go	hints: Fix trailing punctuation being included in detected URLs	2026-04-07 22:57:36 -07:00