Working checkpoint

2023-11-10 21:48:15 -05:00
parent e9dbadb5e3
commit 598201425c
16 changed files with 1132 additions and 0 deletions
--- a/mypy.ini
+++ b/mypy.ini
@@ -0,0 +1,8 @@
+[mypy]
+warn_redundant_casts = True
+disallow_untyped_defs = True
+warn_return_any = True
+warn_unused_configs = True
+
+[mypy-ui.*]
+disallow_untyped_defs = False