Better type annotations and stricter mypy checks (#3 ) #4

Merged
ok merged 6 commits from mypy_fixes into main 2023-08-16 13:01:27 +02:00

6 Commits